991 resultados para Lógicas
Resumo:
El planteamiento general de este trabajo tiene todo que ver con un intento de clarificación referido a las concepciones lógicas y semióticas en virtud de las cuales es posible sostener la irreductibilidad al discurso científico tanto de la filosofía como del psicoanálisis. Tal discurso se constituye en la modernidad y, por cuanto encuentra un peculiar modo de inserción institucional y social como práctica científica de innovación y desarrollo, además de porque dicha inserción le confiere un papel especialmente relevante en los procesos de subjetivación requeridos y propiciados por la sociedad contemporánea, entendemos que la cuestión planteada reviste una relevancia digna de ser tenida en consideración. Ahora bien, muchos son los estudios dedicados a esta cuestión desde perspectivas muy diversas, si bien frecuentemente aquello que se sitúa como objeto principal de la investigación es extraído, bien del lado de la articulación de la ciencia con las condiciones de producción de la sociedad moderna, bien del de un hipotético sujeto (en cierto sentido moral o personal) que resulta violentado o sometido por dichas condiciones. Sin embargo, el propósito y proceder de este volumen pretende situarse en un ámbito intermedio, sirviéndose del modo en el que dos figuras representativas tanto de la filosofía como del psicoanálisis durante la segunda mitad del siglo XX reciben las consecuencias del llamado “giro lingüístico”, en especial por lo que toca a su vertiente estructuralista y a los debates que aparecen a partir de su surgimiento. Tomando como partida la propuesta de Gilles Deleuze de considerar la sintomatología como una práctica propiamente crítica que concierne al modo de reunión y disociación de síntomas mediante la cual se construyen síndromes o regímenes de signos conforme a los que puede tener lugar una evaluación de los sujetos, entendemos que resulta crucial disponer de un aparato conceptual suficiente para dar cuenta de qué concepción del lenguaje y del signo en general se pone en juego en el psicoanálisis y de hasta qué punto ésta es solidaria con respecto a aquella que es efectiva en el ámbito de la sociedad contemporánea...
Resumo:
Exercises of application of the systematic procedure to derive linear inequalities for logic expressions (Ejercicios de aplicación del método sistemático de obtención de restricciones lineales para expresiones lógicas).
Resumo:
Material docente de la asignatura «Simulación y Optimización de procesos químicos». Parte de Optimización OPTIMIZACIÓN TEMA 6. Conceptos Básicos 6.1 Introducción. Desarrollo histórico de la optimización de procesos. 6.2 Funciones y regiones cóncavas y convexas. 6.3 Optimización sin restricciones. 6.4 Optimización con restricciones de igualdad y desigualdad. Condiciones de optimalidad de Karush Khun Tucker 6.5 Interpretación de los Multiplicadores de Lagrange. TEMA 7. Programación lineal 7.1 Introducción. Planteamiento del problema en forma canónica y forma estándar. 7.2 Teoremas de la programación lineal 7.3 Resolución gráfica 7.4 Resolución en forma de tabla. El método simplex. 7.5 Variables artificiales. Método de la Gran M y método de las dos fases. 7.6 Conceptos básicos de dualidad. TEMA 8. Programación no lineal 8.1 Repaso de métodos numéricos de optimización sin restricciones 8.2 Optimización con restricciones. Fundamento de los métodos de programación cuadrática sucesiva y de gradiente reducido. TEMA 9. Introducción a la programación lineal y no lineal con variables discretas. 9.1 Conceptos básicos para la resolución de problemas lineales con variables discretas.(MILP, mixed integer linear programming) 9.2 Introducción a la programación no lineal con variables continuas y discretas (MINLP mixed integer non linear programming) 9.3 Modelado de problemas con variables binarias: 9.3.1 Conceptos básicos de álgebra de Boole 9.3.2 Transformación de expresiones lógicas a expresiones algebraicas 9.3.3 Modelado con variables discretas y continuas. Formulación de envolvente convexa y de la gran M.
Resumo:
Cette étude qui relève du domaine de la traduction philosophique (lato sensu) a pour objet deux versions de la Logique de Dumarsais ([1769]1797) éditées en Espagne (1800). Nous montrons que ces deux Lógicas, oeuvres de deux traducteurs différents, qui eurent chacun des fins également différentes, comme le prouvent le contexte bibliographique et les métatextes respectifs, manifestent la présence d’une terminologie espagnole divergente pour les termes clé de la théorie de la connaissance que l’auteur français exposa dans les pages initiales de sa Logique. La première de ces traductions, qui attribue à la logique un rôle d’introduction aux sciences, choisit des termes systématiquement calqués sur ceux de Dumarsais tandis que J. M. Alea (1781-1826) argumente l’emploi d’une terminologie spécifique, non concordante avec celle du texte source. Ces infidélités terminologiques (et in fine idéologiques) de J. M. Alea peuvent s’expliquer par le désir de ce traducteur de mettre à jour une théorie de la connaissance qu’il voudra rendre conforme à celle de Condillac.
Resumo:
This article is the English version of “Traducción y terminología. A propósito de dos versiones al español de la Logique (Madrid, 1800) de Dumarsais” by Brigitte Lépinette. It was not published on the print version of MonTI for reasons of space. The online version of MonTI does not suffer from these limitations, and this is our way of promoting plurilingualism.
Resumo:
Observamos un renovado interés por los modelos pedagógicos del proyecto arquitectónico, especialmente en su vertiente más agresiva o contestataria. A menudo se formulan por oposición a los modelos más tradicionales, en un marco general de crisis institucional. Este trabajo propone alternativas también desobedientes para las escuelas de arquitectura, pero que escapan a las lógicas dicotómicas o polarizadas, capaces de orientar el futuro de un modo más creativo. Para ello se propone el trabajo de autores tan dispares como el de Judith Revel, Rosi Braidotti o Brian Holmes, que desde ámbitos diversos intentan escapar a las lógicas de oposición para abrirse a formas más arriesgadas y afirmativas de estar. Finalmente, se propone una vinculación de las escuelas de arquitectura a formas de producción de comunidad a partir de criterios como el relato, la utilidad o la calidad, en la línea de las aportaciones de Richard Sennett. En definitiva, este trabajo se enmarca en una investigación más general que aspira a reflexionar sobre los órganos formativos del arquitecto desde un marco de pensamiento transversal.
Resumo:
Tradicionalmente los productores campesinos han elaborado quesos de leche de cabra para autoconsumo y comercializando sus excedentes a través de venta local en circuitos turísticos de la región (Terán, 2006). Para ellos la quesería representa una alternativa de diversificación de ingresos, dado que no requieren de grandes inversiones iniciales. La reducida cadena quesera se desarrolló con la reconversión de la producción tradicional, no obstante, estos productores no pueden acceder a los canales formales, limitando las posibilidades de agregar valor, incrementar sus ingresos y calidad de vida (Gutman et al., 2004). El nor-noroeste de Córdoba comprende el 78% de los productores y el 87% de las existencias caprinas (SAGyA, 2006). Estos sistemas son predominantemente de subsistencia, uso extensivos de forrajes naturales, ambientes frágiles y degradados; basados en mano de obra familiar, con escasos recursos económicos y baja productividad (ADEC-ACC-CCE, 2007). Los quesos caprinos han sido implicados como vehículo de enfermedad de transmisión alimentaria, debido a su alta humedad y pH, y baja concentración de sal. Los puntos críticos en la elaboración de quesos son la recepción de la leche, pasteurización, coagulación y maduración (Dávila et al.; 2006). Legomin y Arcia (1997) aportan que el principal riesgo está en el personal que los manipula. Estas deficiencias determinan importantes problemas de salud pública (Mercado, 2007). Desde un enfoque interdisciplinario e interinstitucional, el equipo del Programa “Propuestas para la insercion de productores familiares en el mercado formal de alimentos artesanales, área de Traslasierra (Córdoba)” (PPI, financiado por Secyt, UNRC) abordó la problemática de productores cabriteros del Departamento Pocho (Agüero et al, 2013). Con alumnos del IPEM 354 de Chancaní, (Pocho) se encuestaron a 75 productores de la región, de los cuales 33 campesinos eran queseros. Posteriormente, con entrevistas de profundidad se obtuvieron datos de aspectos estructurales, procesos productivos y comerciales de 23 de ellos. Los resultados demostraron limitadas posibilidades de reproducción social y sostenibilidad económica, con reducidas herramientas para comercializar sus productos en cumplimiento con las normativas vigentes, fundamentalmente las bromatológicas. Su principal producto comercializado: el cabrito, aunque el queso de cabra les permite diversificar sus ingresos, agregar valor y obtener un producto menos perecedero. Además, se analizaron microbiológicamente 13 quesos de cabra de pasta semidura, provenientes de estos sistemas. El 100% de muestras superaron los límites máximos permitidos para coliformes fecales. Escherichia coli fue hallada en el 31% de las muestras y el 85% de las muestras fueron positivas para Staphylococcus spp. (54% con ≥ 106 UFC/g). Los resultados señalaron importantes deficiencias en las prácticas de ordeño y elaboración, evidenciando la necesidad de capacitar a los productores en prácticas de higiene para lograr un producto regional inocuo (Ponce Crivellaro et al., 2013).Según Paz et al., (2003), la complejidad de recursos y lógicas de producción afectan las posibilidades de introducir modificaciones tecnológicas, por lo que el diseño de alternativas acorde a ellas constituye una de las principales preocupaciones al momento de generar acciones tendientes a consolidar el proceso de desarrollo en el medio rural. En tal sentido se pretende diseñar una herramienta que facilite la capacitación de los actores que componen la trama productiva de esta región y permita morigerar las condiciones de vida y los reducidos ingresos que reciben por sus productos. A tal fin, se plantea complementar los talleres de capacitación participativa (del PPI) con la elaboración de una Guía de Buenas Prácticas de Manufactura adaptada a las condiciones socioeconómicas y culturales de los pequeños productores de la región.
Resumo:
Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.
Resumo:
El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.
Resumo:
Tese de doutoramento, Direito (Ciências Jurídico-Políticas, vertente de Direito Administrativo), Universidade de Lisboa, Faculdade de Direito, 2016
Resumo:
Los poemas homéricos muestran una sociedad en transición entre dos mundos, el del oîkos y el de la pólis, que comparten valores como la centralidad de lo bélico, pero que traducen esos valores en formas de liderazgo y patrones de conducta diferentes, en función de la creciente institucionalización que anuncia el surgimiento del Estado. El conflicto entre Aquiles y Agamenón puede leerse como reflejo de esa tensión, en la que la centralidad de lo bélico adopta dos formas diferentes y antagónicas. Aquiles, el mejor de los guerreros homéricos, representa valores anclados en una sociedad poco estratificada, en la que el líder es aquel que sobresale por sus características personales y cuyo lugar debe ser ratificado constantemente. Agamenón, en cambio, expresa una lógica que aparece con las transformaciones que surgen con el tránsito hacia una sociedad más estratificada: su liderazgo sigue siendo militar, pero su preeminencia sobre los otros basileîs no se basa ya en su destreza marcial, sino en su capacidad de reclutar una mayor capacidad de guerreros. El de la Ilíada es un mundo en el cual ambas lógicas están en tensión, y cuyo conflicto, en consecuencia, no puede saldarse sin matices en favor de ninguno de ellos.
Resumo:
Esta comunicación pretende describir la confrontación que se produce en el marco de la Escuela Pública entre un logos universalizante y unificador, por un lado, y unas prácticas y discursos a las que denomino doxa (en el sentido griego de mera opinión, aquí ampliado al sentido de práctica y discurso concreto). Una de los objetivos que se propone esta reflexión es alcanzar elementos de análisis en las áreas de formación docente para comprender mejor esta situación descripta. Se sostiene que la escuela está regida fundamentalmente por este logos desde el que dimanan los principios democráticos, los valores morales y las prácticas socializadoras con que se instituyeron los estados a partir de la modernidad, con sus particularidades específicas en Latinoamérica. Paradójicamente, los jóvenes a los que alude el discurso que promueven las políticas públicas en educación, son tenidos en cuenta como aquellos sujetos morales y de derecho pleno a los que abriga y contiene este logos universalista e incluyente. Sin embargo, la faz discursiva se ve cercenada por la implementación concreta de políticas para la educación pública en las escuelas enclavadas en el territorio de la juventud más vulnerabilizada, donde operan estas lógicas a las que denomino doxas entre ellas la doxa asistencialista -que concibe a la escuela en meramente desde un rol de contención-, y en el ámbito específico de los contextos sociales más vulnerables, con similares objetivos a la doxa contenedora; una doxa recurrentemente discriminatoria, basada en el demérito y la marginación de los sujetos, e incluso una doxa punitiva. La dinámica exclusora que dimana de estas políticas hacia el sector educativo tiene como correlato la praxis docente concreta que busca revertir la acción de estas doxas. Desde la Filosofía de la Educación es que proponemos la posibilidad de reflexionar sobre las razones que construyeron estas prácticas, la deconstrucción de aquello que se ha cristalizado, y la reconstrucción de las razones de educar. ¿En qué marco está planteada la enseñanza que es objetivo de la ética y ciudadana en la formación docente cuando está orientada a sectores en contextos de vulnerabilidad social? Esta primera pregunta que orienta la búsqueda de esta comunicación se responde afirmandoque es la escuela anclada en una trama de pobreza aguda, constituida con una relativa homogeneidad de su población de alumnos provenientes de sectores -nos centramos específicamente en jóvenes- pobres, de las denominadas "familias con bajos logros educativos", resultantes de estratos constituidos por los denominados "viejos" pobres (pobres estructurales), tanto como de la denominada "nueva" pobreza. Proceden de familias que han migrado para establecerse donde actualmente moran, precariamente en principio, para luego constituir su arraigo a partir de un desarraigo original (quizás son la primera, la segunda o hasta la tercera generación de aquellos desarraigados). Los jóvenes forjados en estos contextos ya no conciben esa perspectiva de volver a transitar la vivencia del desarraigo, son ya adolescentes afincados, arraigados a su territorio, con perspectivas de seguir viviendo en sus barrios, un territorio propio -a pesar de lo amenazante que puede resultar- que no está ya en revisión constante. El marco de crisis que dio origen a la migración y reacomodamiento en un nuevo territorio, no es vivido ya como impasse o coyuntura, sino que ahora es algo permanente
Resumo:
A parir de la década de 1990 comenzó a visualizarse en diversos convenios colectivos de trabajo una serie de transformaciones en las cláusulas negociadas referidas a nuevos sistemas de producción, nuevos modos de contratación y nuevos conceptos de organización del trabajo, tendientes al incremento de la productividad y la calidad del producto. Estas tecnologías de gestión del trabajo se impusieron en condiciones históricas sumamente desfavorables a los trabajadores, y, en la mayoría de los casos, las organizaciones sindicales aceptaron vía negociación colectiva las clausulas flexibilizadoras. Particularmente, en el caso del sector automotriz, el convenio colectivo de trabajo firmado en 1996 entre Toyota Argentina y el SMATA es paradigmático de la aceptación de las organizaciones sindicales a las nuevas tecnologías de gestión del trabajo. Específicamente, en materia de formación y capacitación, el SMATA firmó cláusulas de cooperación con las iniciativas de Toyota basadas en la mejora continua. Asimismo, a partir de 2001 con la incorporación del SMATA al Programa de Formación y Certificación de competencias Laborales impulsado por el Ministerio de Trabajo de la Nación, el sindicato comienza a llevar adelante la estrategia de promover en todo el sector automotriz (concesionarios, autopartistas y talleres) la formación y capacitación basada en la mejora continua. Esta ponencia tiene por objetivo mostrar avances preliminares en relación a las nuevas lógicas de formación y capacitación que impulsan tanto las empresas como algunos sindicatos vinculados a la gestión por competencias y a la mejora continua de la calidad. Las principales fuentes de datos utilizadas fueron convenios colectivos de trabajo del sector automotriz y documentos del Programa de Formación y Certificación de Competencias Laborales del Ministerio de Trabajo
Resumo:
En este trabajo nos proponemos analizar las estrategias y acciones que desde el campo simbólico-cultural intervienen en el espacio público y los -¿difusos?- bordes sobre los que se poden a andar: entre práctica artística, comunicación social, acción mediática- digital y acción política. Consideramos que estas acciones extienden las nociones de arte, artista y obra, planteando interrogantes acerca de la autoría y los circuitos de circulación. Surgen también nuevos intentos por nombrar lo que se hace en tanto producción colectiva, acción, intervención o práctica situacional. La obra ya no se plantea como objeto a contemplar, sino que es entendida como acontecimiento a producir, completar y re- significar por el público tomado como participante. A su vez, el espacio público urbano -las calles, paredes, plazas- es redefinido, en tanto se plantean nuevas formas de entenderlo y habitarlo. Estas expresiones ¿amplían "lo político": las categorías de política y acción política como puesta en acto? ¿Trastocan las lógicas tradicionales de representación y reconfiguran una nueva esfera pública? ¿El "desacuerdo" podría ser un concepto apropiado para pensarlas?. Analizaremos experiencias diferentes que se gestan en la ciudad de La Plata