When the laws of logic meet the logic of laws

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2017-2018, Tutor: Joost J. JoostenThis master thesis presents a brief introduction to type theory, starting at the simplest systems and building up to the Calculus of Inductive Constructions, the formal theory that lies behind some software tools called 'proof assistants'. We will then study a real-life problem based on an actual law (European Regulation 561 for Road Transport) and show that there exist ambiguous situations. Finally, we will use Coq, a proof assistant, to draft the correctness checking proof of our results on the law

Diseño y diversidad funcional

Talking about functional diversity from design is not very common since it has almost always been relegated to the medical or clinical setting. This article seeks to show, through the experiences of the Design workshop in Degree projects for the Industrial Design program, how you can have a different, creative and sensitive approach to this perspective, allowing you to strengthen and demonstrate the concept of inclusion through design. The article contextualizes the necessary considerations to understand, assimilate and get involved in the concept of functional diversity and acquire a method that will allow to link with design, innovation and quality of life through creative proposals, achieving to impact and respond to needs. and conditions arising from a disabling condition, which has generally been treated as a situation of discrimination.Hablar de la diversidad funcional desde el diseño no es muy común pues este ha sido un tema casi siempre relegado al ámbito médico o clínico. El presente artículo busca mostrar, a través de las experiencias del taller de Diseño en los proyectos de Grado para la carrera de Diseño Industrial, cómo se puede tener una aproximación distinta, creativa y sensible a esta perspectiva, permitiendo fortalecer y evidenciar el concepto de la inclusión a través del diseño. El artículo contextualiza las consideraciones necesarias para entender, asimilar e involucrarse en el concepto de la diversidad funcional y adquirir un método que permitirá enlazarse con el  diseño, la innovación y la calidad de vida a través de propuestas creativas, logrando impactar y responder a necesidades y condiciones que surgen de una condición de diversidad funcional, la cual generalmente ha sido tratada como una situación de discriminación

Finanzas a corto plazo: Análisis de la situación financiera de la empresa Agricorp S,A. correspondiente al periodo 2013

El tema que se investigó se denomina: “Análisis de la situación financiera de la empresa agri-corp, S.A. correspondiente al periodo 2013. El objetivo del presente seminario de graduación fue la realización de un análisis de la situación económica de la Empresa Agri-Corp S.A, para la toma de decisiones. Para el desarrollo de la investigación se utilizó el método científico y se aplicó de lo general a lo particular, haciendo uso de bibliografías de libros e internet, de procedimientos como el análisis, la síntesis, y la aplicación del caso, con el objeto de explicar el origen, razones o causas del problema. El trabajo incluye un estudio cuantitativo de los índices financieros aplicados a la información que maneja la empresa. Derivado de ello, el objetivo general del presente estudio es, analizar la evaluación financiera a corto plazo de la empresa Agri-Corp S.A correspondiente al periodo 2013. Según la información tomada por los diferentes autores la implementación de estos tipos de análisis a los estados financieros ayudan a la empresa a conocer sus status, ya sea por medio de las diferentes aplicaciones de fórmulas que permiten conocer a fondo las razones donde se encuentran más fortalecidos y donde son las más debilitadas. Donde se diagnosticó las causas más frecuentes de dificultades: Inventarios Excesivos: exceso de cuentas por cobrar y cuentas por pagar, Inversión en activos fijos tangibles por encima de las necesidades de la Empresa, da lugar a un aumento del costo de producción y por ende una disminución de la rentabilidad de la empresa. Además, condiciones operativas muy por debajo de las demás empresas. Volumen de ventas muy elevado no proporcional a la fuente de medios propios. Planificación y distribución incorrecta de la utilidad

Spatio-temporal modelling of stable isotopes in tree Mediterranean species (Quercus ilex L. and Pinus Halepensis Mill.): a climatic and ecophysiological view

Trees hold important secrets that may be essential in order to face the unprecedented current environmental challenges. The basis of this thesis is to use a combination of modern tools such as stable isotopes, Geographical Information Systems (GIS), Point Process statistics to retrieve climatic and ecophysiological information from forests at different spatial and temporal scales. We focus on two typical coexisting Mediterranean species: holm oak (Quercus ilex L.) and Aleppo pine (Pinus halepensis Mill.). At the regional scale: we generated carbon isotope (D13C) landscapes (isoscapes) of each species, later converted to annual precipitation maps: and we also showed that in Aleppo pine, annual precipitation drives D13C, RG and NDVI, but the three variables hold complementary information. At the local scale, we focus on a mixed forest stand in which both species coexist. By combining water isotopes and point process statistics, we could interpret tree-to-tree interactions in terms of water use (including seasonal variation).We found evidences of a dynamic niche segregation.Los árboles poseen secretos importantes que pueden ser esenciales para afrontar los actuales retos medioambientales. La idea central de esta tesis es usar una combinación de herramientas modernas, tales como Sistemas de Información Geográfica (SIG), estadística de Procesos Puntuales, para extraer información de los bosques a diferentes escalas espaciotemporales. Nos centramos en dos especies mediterráneas: la encina (Quercus ilex L.) y el pino carrasco (Pinus halepensis Mill.). A escala regional, generamos paisajes de distribución isotópica (isoscapes) de carbono (D13C) para cada especie, derivando así mapas de precipitación anual; mostramos que la precipitación controla la variabilidad espaciotemporal de la D13C, crecimiento radial (CR) e índice de vegetación (NDVI) para el pino, aunque ofrecen información complementaria. A escala local, nos centramos en una masa mixta donde ambas especies coexisten. Combinando isótopos de agua y estadística de Procesos Puntuales, interpretamos las interacciones árbol-árbol en el uso de agua (incluyendo variación estacional). Encontramos evidencias de una segregación de nicho hidrológico dinàmica.Els arbres amaguen secrets importants que poden ser essencials per enfrontar-se als actuals canvis ambientals sense precedents. El fonament d’aquesta tesi és fer servir una combinació d’eines innovadores com ara isòtops estables, Sistemes d’Informació Geogràfica (SIG), o estadística de processos puntuals a fi d’obtenir informació climàtica i ecofisiològica dels boscos a diferents escales temporals i espacials. L’objecte d’estudi són dues espècies típicament mediterrànies: alzina (Quercus ilex L.) i pi blanc (Pinus halepensis Mill) A escala regional, generem paisatges de distribució isotòpica (isoscapes) de (D13C) per cada espècie; trobem que la variació espacial i temporal en D13C, creixement radial (CR) i els índexs de vegetació (NDVI) pel pi blanc, ve donat per la precipitació anual, encara que ofereixen informació complementària. A escala local, ens centrem en una massa mixta on les dues espècies coexisteixen. Combinant isòtops d’aigua i estadística de processos puntuals hem pogut interpretar interaccions arbre-arbre en l’ús de l’aigua (incloent variació estacional). Trobem evidències d’una segregació de nínxol hidrològic dinàmica

La visión de los pobladores del continente americano en la historiografía jesuítica colonial

Análisis en clave etnohistórica de obras de los siguientes autores: José de Acosta, Francisco Javier Clavijero, Bernabé Cobo, Joseph Gumilla, Jorge Juan, Antonio de Ulloa, Juan Ignacio Molina, Alonso de Ovalle y Juan de Velasco.Ante la cuestión de la función misional que desempeñaron los miembros de la Compañía de Jesús en la América hispana, el presente trabajo pretende aportar una dinámica de estudio centrada en el análisis del componente humano. Con ello se hace patente poner de manifiesto la labor comenzada por autores como los Padres Acosta y Ovalle pasando por Cobo, Gumilla, Clavijero, Velasco y Molina entre otros, tratándose de ofrecer nuevos enfoques desde una perspectiva historiográfica usando las aportaciones plasmadas en sus obras. Buscando redescubrir una realidad del continente americano al tratar sus obras en términos de conjunto, se pretende de este modo elaborar una historia que no solo responde a pretensiones coloniales, sino que pone en valor la labor epistemológica como punto central dando voz a la realidad en la que los habitantes de la América previa a las independencias se encontraban al ser ellos mismos herederos de su propia historia.71 páginas

Conversación con el Arq. Jorge Gorostiza

RESUMENEn el mes de setiembre pasado, la Escuela de Arquitectura organizó el Seminario de Cine y Arquitectura que contó con la participación, como invitado especial, del Arq. Jorge Gorostiza, conferencista y autor de varios trabajos sobre el tema.En una conversación–entrevista nos comentó cómo llegó a asociar ambas disciplinas –arquitectura y cine-, y la importancia de los espacios escenográficos que son protagonistas de muchas películas emblemáticas. Asimismo, elaboró el interés de los numerosos estudiantes de la Escuela que asistieron al Seminario. ABSTRACTThis past September, the School of Architecture organized a Seminar on Architectureand Cinema, with the participation of special lecturer Jorge Gorostiza, who has writtenand spoken widely on the subject. In this interview he comments on how he came toassociate the two disciplines and the importance of scenographic spaces which areimportant protagonists in many well known films

Análisis del marco regulatorio cubano sobre requisitos de gestión documental

El Plan Nacional de Desarrollo Económico y Social para 2030 implica redimensionar la gestión documental de la Administración Pública y su correspondiente marco regulatorio, de manera que impulse prácticas informacionales responsables y transparentes. Se aplica el análisis documental en 322 fuentes legales y normativas cubanas respecto a la gestión documental. El análisis se realizó a partir de tres parámetros. Se presentan las deficiencias en cuanto a los requisitos de gestión documental en las regulaciones archivísticas y no archivísticas, así como los enfoques sobre la práctica profesional de gestión documental para el sector público. Se considera que estas son áreas de desarrollo esenciales para construir entornos informacionales que propicien la transparencia, la rendición de cuentas y la seguridad razonable en la función pública

Las Ciencias Cognoscitivas aplicadas a la enseñanza de la Arquitectura

Resumen Si definimos a la Arquitectura como el proceso de crear espacios que nos provoquen emociones, deberemos aceptar que la enseñanza de la Arquitectura debe enfatizar el reconocimiento de dichas emociones. La “caja negra” (nuestra mente) es el espacio misterioso donde se generan las ideas que se convierten en respuestas arquitectónicas. Las Ciencias Cognoscitivas se interesan en los procesos mentales y de información que pueden ayudar a que la Arquitectura se comprenda a sí misma. La enseñanza de la Arquitectura privilegia el producto realizado por el estudiante y presta poca atención a su desarrollo humanístico ni a los ámbitos de la sensibilidad y la emoción. Frente a la dualidad problema- solución se incorpora un elemento anterior, la inquietud, que debe ser fomentada como un componente de la creatividad. El conocimiento de las Ciencias Cognoscitivas debería ser incluído en los programas de enseñanza de Arquitectura para que el estudiante reconozca sus propios procesos mentales y de diseño. Abstract If we define architecture as a process of creating spaces which provoke emotions, we must accept that the teaching of architecture should emphasize the recognition of these emotions. The “black box” (our mind) is a mysterious space where ideas which become architectural proposals are generated. The cognitive sciences study the mental and information processes which could help architecture to understand itself. The teaching of architecture tends to pay more attention to the product achieved by the student than to his or her humanistic development or areas of sensibility and emotion. Confronted by the problem-solution duality, there is the need for a prior element- curiosity- which should be nourished as a component of creativity. The knowledge of cognitive sciences should be included in study programs in architecture to enable the student to recognize and comprehend his own mental design process