Jaume Serra Hunter i la teoria de la cultura en el Noucentisme

Catalan modern and contemporary philosophy has traditionally been little studied so strictly to historical and political reasons for more or less the same conviction that is compared with literature and even in historiography, it is a minor contribution. Some of the characters in the world of philosophy has been the Catalan Jaume Serra Hunter charismatic and versatile, whom history has done justice. Like many others, was persecuted in the Franco regime, declared outlawed and persecuted and exiled, first to France and then Mexico. This research aims to discover him and his huge role as a politician. But above all, I want to convey their deep love for culture and fierce defense that he did, especially Catalan, is following in philosophical discourse of his work. I figure Serra Hunter claim their struggle for cultural cohesion through its philosophy, making it reach everyone. I want to show how he worked in a time of crisis in society, culture and education, to overcome the crisis of philosophy as a guide. Serra Hunter lived a very difficult time for philosophy. But he wanted to bring all cultures. It is a philosophy that dealing with the issues may be even a sort of advanced in the world and some of the problems it has today. According to him, philosophy should be more human and more alive and present in all the different curriculum of any educational plan.

Las ciencias economicas y la teoria de la poblacion

Incluye Bibliografía

Notas sobre la teoria y la metodologia de la inclusion de los aspectos demograficos y sociales en la planificacion del desarrollo

Incluye Bibliografía

Orientacions per a l’ús de la guia Psicologia evolutiva 3-6: de la teoria a la pràctica

A continuació s’indiquen algunes orientacions dirigides a facilitar la comprensió i l’ús d’aquesta guia, tant per als estudiants com per als docents. La guia consta de set capítols: capítol 1, “Fitxes de pràctiques” composta per 12 pràctiques; capítol 2, “Estudi de casos pràctics” compost per 13 casos; capítol 3, “Estils de referència”; capítol 4, “Dinàmica de grups”; capítol 5, “Sistema d’avaluació”; capítol 6, “Bibliografia general” i un capítol 7 d’annexos.

La teoria en la actualidad más fundada sobre la inflamación [Manuscrito] : disertación leída ante la Academia... /

Mode of access: Internet.

Manual de Derecho romano : que comprende la teoria de la Instituta precedida de una introduccion al estudio de este derecho /

Mode of access: Internet.

Modo de poner en ejecución el nuevo metodo de enseñar a leer : publicado bajo el título de Teoria de la lectura... /

Mode of access: Internet.

Mean-payoff games and propositional proofs

"Vegeu el resum a l'inici del document del fitxer adjunt."

Monads in double categories

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and dene what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

On p-optimal proof systems and logics for PTIME

"Vegeu el resum a l'inici del document del fitxer adjunt"