Catálogo de publicaciones

El desarrollo de las teorías fundacionales de la Matemática aparecidas en el siglo XX ha dado lugar a numerosos avances científicos en lógica y en ciencias de la computación. La teoría de conjuntos propuesta inicialmente por Georg Cantor a finales del siglo XIX y luego axiomatizada por Zermelo y Fraenkel para evitar paradojas constituye una de las teorías fundacionales más estudiadas y aceptadas por la comunidad científica. Paralelamente a ésta se desarrolló la teoría de tipos a partir de las primeras propuestas realizadas por Bertrand Russell, luego con el cálculo lambda simplemente tipado de Alonzo Church y más adelante con Per Martin-Löf, entre otros. La teoría de tipos abrió el camino a una prolífica área de estudio en ciencias dela computación: por un lado los lenguajes de programación pueden expresar propiedades de corrección en el tipado de los programas, y por otro permiten escribir formalmente resultados matemáticos que pueden chequearse automáticamente, lo que se conoce como formalización de matemática. En el transcurso de este doctorado hemos estudiado la teoría de tipos y su aplicación para desarrollar programas correctos por construcción, en particular compiladores. Mediante el uso de tipos dependientes se puede especificar en el tipo de un compilador la propiedad de corrección con respecto a las semánticas de los lenguajes; presentamos en la tesis una metodología que muestra los alcances y límites de esta propuesta. La teoría subyacente surge de considerar a los lenguajes como álgebras de términos de una signatura, lo cual nos llevó a estudiar álgebras heterogéneas y traducciones entre álgebras de distintas signaturas. El siguiente aporte de nuestro trabajo es la formalización en el lenguaje Agda de una librería con los principales conceptos de álgebra universal, incluyendo un sistema deductivo para la lógica de cuasi identidades y las nociones de morfismos entre signaturas y álgebras reducto asociadas a dichos morfismos. Finalmente hemos estudiado uno de los problemas más famosos en teoría de conjuntos: la independencia de la hipótesis del continuo. La misma afirma que con la axiomatización de Zermelo y Fraenkel (ZF)no se puede probar ni refutar que existan conjuntos con cardinalidad mayor estricta a la de los números naturales y menor estricta a la delos números reales. Este resultado fue obtenido gracias a los aportes de Kurt Gödel en1940(quien probó que la hipótesis del continuo es consistente con ZF) y luego completado por Paul Cohen veinte años más tarde, quien introdujo la técnica deforcing para probar que la negación de la hipótesis del continuo también es consistente conZ F. El desarrollo matemático implicado en estos resultados con lleva un interés particular para realizarlo formalmente en un asistente de pruebas, y no existe hasta el momento una formalización completa. Lawrence Paulson realizó una importante contribución en el asistente de pruebas Isabelle hasta obtener una prueba formal del resultado de Gödel. En la última parte de esta tesis, presentamos los primeros pasos hacia una formalización de forcing tomando como punto departida el trabajo de Paulson. En particular, definimos la extensión genérica de modelos transitivos contables y probamos la validez de algunos de los axiomas de ZFen ella.

El desarrollo de las teorías fundacionales de la Matemática aparecidas en el siglo XX ha dado lugar a numerosos avances científicos en lógica y en ciencias de la computación. La teoría de conjuntos propuesta inicialmente por Georg Cantor a finales del siglo XIX y luego axiomatizada por Zermelo y Fraenkel para evitar paradojas constituye una de las teorías fundacionales más estudiadas y aceptadas por la comunidad científica. Paralelamente a ésta se desarrolló la teoría de tipos a partir de las primeras propuestas realizadas por Bertrand Russell, luego con el cálculo lambda simplemente tipado de Alonzo Church y más adelante con Per Martin-Löf, entre otros. La teoría de tipos abrió el camino a una prolífica área de estudio en ciencias dela computación: por un lado los lenguajes de programación pueden expresar propiedades de corrección en el tipado de los programas, y por otro permiten escribir formalmente resultados matemáticos que pueden chequearse automáticamente, lo que se conoce como formalización de matemática. En el transcurso de este doctorado hemos estudiado la teoría de tipos y su aplicación para desarrollar programas correctos por construcción, en particular compiladores. Mediante el uso de tipos dependientes se puede especificar en el tipo de un compilador la propiedad de corrección con respecto a las semánticas de los lenguajes; presentamos en la tesis una metodología que muestra los alcances y límites de esta propuesta. La teoría subyacente surge de considerar a los lenguajes como álgebras de términos de una signatura, lo cual nos llevó a estudiar álgebras heterogéneas y traducciones entre álgebras de distintas signaturas. El siguiente aporte de nuestro trabajo es la formalización en el lenguaje Agda de una librería con los principales conceptos de álgebra universal, incluyendo un sistema deductivo para la lógica de cuasi identidades y las nociones de morfismos entre signaturas y álgebras reducto asociadas a dichos morfismos. Finalmente hemos estudiado uno de los problemas más famosos en teoría de conjuntos: la independencia de la hipótesis del continuo. La misma afirma que con la axiomatización de Zermelo y Fraenkel (ZF)no se puede probar ni refutar que existan conjuntos con cardinalidad mayor estricta a la de los números naturales y menor estricta a la delos números reales. Este resultado fue obtenido gracias a los aportes de Kurt Gödel en1940(quien probó que la hipótesis del continuo es consistente con ZF) y luego completado por Paul Cohen veinte años más tarde, quien introdujo la técnica deforcing para probar que la negación de la hipótesis del continuo también es consistente conZ F. El desarrollo matemático implicado en estos resultados con lleva un interés particular para realizarlo formalmente en un asistente de pruebas, y no existe hasta el momento una formalización completa. Lawrence Paulson realizó una importante contribución en el asistente de pruebas Isabelle hasta obtener una prueba formal del resultado de Gödel. En la última parte de esta tesis, presentamos los primeros pasos hacia una formalización de forcing tomando como punto departida el trabajo de Paulson. En particular, definimos la extensión genérica de modelos transitivos contables y probamos la validez de algunos de los axiomas de ZFen ella.

El objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la computación, modelos dependientes de una plataforma y modelos dependientes de la implementación. En particular, en este trabajo, se muestra la técnica de especificación de refactorings aplicados a modelos de diagramas de clases UML enriquecidos con anotaciones OCL en los distintos niveles de abstracción. Los refactorings se especifican como contratos OCL utilizando la técnica de metamodelado. Los metamodelos son expresados usando Meta Object Facility (MOF). Asimismo, en esta tesis, se analiza la integración de la especificación de los refactorings con técnicas formales. Se detalla la traducción de los contratos OCL de refactorings y los metamodelos MOF al lenguaje de especificación formal NEREUS.

Sin duda la comunicación desempeña un rol estratégico en el entramado de relaciones que se generan en una organización en torno a la consecución de sus objetivos. Resulta evidente que una institución como el Colegio Nacional “Rafael Hernández”, cuya misión fundamental es ofrecer una enseñanza inclusiva y de calidad, a pesar de la heterogeneidad de quienes conviven hoy en sus aulas, necesita de la participación activa de la totalidad de los actores que conforman su comunidad educativa. En este contexto, la comunicación se constituye en un pilar fundamental. Para ello, es necesario planificar una política comunicacional para el Colegio Nacional “Rafael Hernández” que atendiendo a sus alcances, normativa, políticas de la UNLP y actores involucrados, se plantee objetivos -a corto, mediano y largo plazo-, acciones y estrategias, que hagan posible el fortalecimiento de los lineamientos prioritarios de la actual gestión. Empoderar a todos los sujetos que conforman la institución, a todas las hablas desde un proceso comunicacional que defina una línea de acción que los incluya, solo es posible desde la convicción de que la comunicación debe mediar entre sus integrantes, personas atravesadas por una realidad, por una coyuntura, por escenarios cambiantes, por instancias de conflicto que obligan, necesariamente, a democratizar la información, a repensar las prácticas adoptadas y a tomar decisiones que deben ser comunicadas en beneficio de la institución y de la comunidad educativa toda. Para ello, es necesario planificar una política comunicacional para el Colegio Nacional “Rafael Hernández” que atendiendo a sus alcances, normativa, políticas de la UNLP y actores involucrados, se plantee objetivos -a corto, mediano y largo plazo-, acciones y estrategias, que hagan posible el fortalecimiento de los lineamientos prioritarios de la actual gestión. Un relevamiento de las herramientas y de los circuitos comunicacionales del Colegio revelan, en primer lugar, que la falta en el organigrama de un área de Comunicación Institucional, hace que no exista un criterio rector a la hora de comunicar (cada actor institucional comunica lo que estima necesario dar a conocer bajo el formato y con el alcance que su lugar en la estructura le permita); se realicen grandes esfuerzos que, en la mayoría de los casos, resultan insuficientes a la hora de alcanzar a la comunidad toda; se abone la idea de que existen circuitos privilegiados de comunicación de los cuales algunos actores institucionales quedan excluidos; se generen circuitos informales de comunicación; se superpongan acciones y se genere confusión debido a la existencia de dobles mensajes; por citar solo algunos los casos de mayor incidencia en la vida de comunicacional de la institución.

Esta tesis aborda las prácticas y representaciones mediadas por las Tecnologías de la Información y la Comunicación en contextos socio-educativos, durante el período 2011-2015. Apunta a analizar concepciones y modos de apropiación por parte de directivos, docentes y estudiantes de las escuelas técnicas de nivel secundario de la ciudad de Olavarría (Buenos Aires, Argentina), y sus relaciones con la construcción de ciudadanía. Desde la perspectiva de la Teoría Fundamentada y el Método Comparativo Constante, la investigación problematiza los procesos de inclusión digital a partir del Programa Conectar Igualdad, recuperando los aportes de los estudios culturales, la teoría política y los estudios de juventud, entre otros, para redefinir categorías y elaborar otras, como competencias tecnológicas y ciudadanía cultural. Se concluye que la educación es el ámbito que intersecta la importancia estratégica de la construcción de la ciudadanía con la potencialidad de las tecnologías interactivas en este campo. En las mediaciones tecnológicas se materializan las experiencias asociadas a la promoción de conocimiento socialmente significativo, aquel que vuelve a los sujetos usuarios competentes y atentos a las tensiones que la omnipresencia de las TIC genera en las sociedades actuales.

Tesis para obtener el grado de Doctor en Estudios Sociales Agrarios presentada en la Universidad Nacional de Córdoba, Centro de Estudios Avanzados, Facultad de Ciencias Agropecuarias en julio de 2015

El presente trabajo aborda la problemática de la dificultad de la Unidad Habitativa en vivienda colectiva para adaptarse a los cambios en la conformación y las necesidades de las Unidades de Convivencia que las habitan, producto de la natural evolución dentro de sus ciclos de vida. Desde la producción de vivienda colectiva se busca indagar en las posibilidades de adaptación a los cambios en las necesidades de sus habitantes, a través de sus crecimientos, decrecimientos y modificaciones, abordando las lógicas técnicas y de sistematización de la unidad de vivienda, y lógicas de producción de edificios singulares. Se considera una serie de Unidades de Convivencia representativas de la población, para desarrollar métodos de evaluación que permitan estudiar sus posibles reconfiguraciones, los conflictos y las soluciones que puedan surgir a partir de su relación con la conformación de la Unidad Habitativa. Al tratarse de edificios de Vivienda Colectiva, es necesario también estudiar la articulación de la Unidad Habitativa con el conjunto, con los programas mixtos y con su inserción urbana especifica. En el aspecto normativo se plantea la necesidad de estudiar alternativas al régimen dominial vigente, que facilite los crecimientos y decrecimientos de las unidades, y que posibilite menores costos operativos asociados a la modificación de las viviendas.

Esta tesis trata en gran medida sobre muertes producidas por la violencia de estado, específicamente por las policías; sobre esas muertes que se han dado en llamar de "gatillo fácil". Pero, fundamentalmente, trata sobre las formas específicas en que los familiares de las víctimas de esa violencia se han organizado para impugnarla, para denunciarla, para "demandar justicia" —con los múltiples y complejos significados que esta expresión trae consigo y es expresada por diferentes colectivos y sujetos-. En ese sentido, en esta tesis se analizan las formas específicas y locales en que esta violencia y estas muertes han sido, fundamentalmente a través de la intervención de familiares de las víctimas directas, politizadas.