yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación

Con el objetivo de lograr una herramienta didáctica para la enseñanza de conceptos relacionados con la Lógica de Predicados de Primer Orden se desarrolló yaT3 (yet Another Truth Tree Tool). Esta herramienta presenta una interfaz gráfica sencilla de utilizar, simple e intuitiva que provee el soporte necesario para la construcción de Árboles de Refutación. La construcción de un Árbol de Refutación es un método para averiguar la satisfacibilidad de una fórmula. La herramienta yaT3 es software libre y está desarrollada en el lenguaje de programación C++. El proyecto fue desarrollado en el marco de un trabajo final de cátedra para dos materias de una carrera de Informática. Estas materias se dictan en el primer cuatrimestre del segundo año de la misma e involucran conceptos tanto de lógica como de análisis y diseño de algoritmos. Las mismas son Ciencias de la Computación II y Análisis y Diseño de Algoritmos I respectivamente.Trabajos de cátedraSociedad Argentina de Informática e Investigación Operativa (SADIO

yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación

Con el objetivo de lograr una herramienta didáctica para la enseñanza de conceptos relacionados con la Lógica de Predicados de Primer Orden se desarrolló yaT3 (yet Another Truth Tree Tool). Esta herramienta presenta una interfaz gráfica sencilla de utilizar, simple e intuitiva que provee el soporte necesario para la construcción de Árboles de Refutación. La construcción de un Árbol de Refutación es un método para averiguar la satisfacibilidad de una fórmula. La herramienta yaT3 es software libre y está desarrollada en el lenguaje de programación C++. El proyecto fue desarrollado en el marco de un trabajo final de cátedra para dos materias de una carrera de Informática. Estas materias se dictan en el primer cuatrimestre del segundo año de la misma e involucran conceptos tanto de lógica como de análisis y diseño de algoritmos. Las mismas son Ciencias de la Computación II y Análisis y Diseño de Algoritmos I respectivamente.Trabajos de cátedraSociedad Argentina de Informática e Investigación Operativa (SADIO

Técnicas de optimización de soluciones en sistemas embebidos

Se presentan los aspectos relevantes de un proyecto de investigación y desarrollo abordado en el Laboratorio de Sistemas Embebidos -LabSET- del Instituto INTIA de la UNCPBA. Este proyecto fue oportunamente aprobado en el marco de los incentivos a la investigación y busca como objetivos generales el trabajo conjunto tendiente a desarrollar técnicas para optimizar soluciones de hardware y software aplicadas a sistemas embebidos. Conjuntamente se realiza la formación de parte de los integrantes del laboratorio quienes se encuentran realizando sus estudios de posgrado en temas afines al proyecto. El proyecto busca desarrollar tareas de investigación y desarrollo en temas relacionados a los sistemas embebidos, tanto en aspectos de software como de hardware. De este modo se busca desarrollar soluciones a problemas en áreas como visualización, aritmética de computadoras, sensores, etc. no solo desde el punto de vista algorítmico sino a partir de su implementación en sistemas de hardware programable como FPGAs.Eje: Procesamiento de señales y sistemas de tiempo real.Red de Universidades con Carreras en Informátic

Metodologías de Diseño para Sistemas Embebidos

Se presentan los aspectos relevantes de un proyecto de investigación y desarrollo abordado en el grupo Inca del Instituto Intia de la UNCPBA. Este proyecto fue oportunamente aprobado en el marco de los incentivos a la investigación y busca como objetivos generales el trabajo conjunto tendiente a desarrollar tecnologías para el manejo de dispositivos en sistemas embebidos. Conjuntamente se realiza la formación de varios de los integrantes quienes se encuentran realizando sus estudios de posgrado en temas afines al proyecto. El proyecto busca desarrollar tareas de investigación y desarrollo en temas relacionados a los sistemas embebidos, tanto en aspectos de software como de hardware. De este modo se busca desarrollar soluciones a problemas en áreas como visualización, optimización de sistemas operativos de tiempo real, sensores, etc. no solo desde el punto de vista algorítmico sino a partir de su implementación en sistemas de hardware programable como FPGAs.Eje: Procesamiento de Señales y Sistemas de Tiempo RealRed de Universidades con Carreras en Informática (RedUNCI

Metodologías de Diseño para Sistemas Embebidos

Se presentan los aspectos relevantes de un proyecto de investigación y desarrollo abordado en el grupo Inca del Instituto Intia de la UNCPBA. Este proyecto fue oportunamente aprobado en el marco de los incentivos a la investigación y busca como objetivos generales el trabajo conjunto tendiente a desarrollar tecnologías para el manejo de dispositivos en sistemas embebidos. Conjuntamente se realiza la formación de varios de los integrantes quienes se encuentran realizando sus estudios de posgrado en temas afines al proyecto. El proyecto busca desarrollar tareas de investigación y desarrollo en temas relacionados a los sistemas embebidos, tanto en aspectos de software como de hardware. De este modo se busca desarrollar soluciones a problemas en áreas como visualización, optimización de sistemas operativos de tiempo real, sensores, etc. no solo desde el punto de vista algorítmico sino a partir de su implementación en sistemas de hardware programable como FPGAs.Eje: Procesamiento de Señales y Sistemas de Tiempo RealRed de Universidades con Carreras en Informática (RedUNCI

Metodologías de Diseño para Sistemas Embebidos

Se presentan los aspectos relevantes de un proyecto de investigación y desarrollo abordado en el grupo Inca del Instituto Intia de la UNCPBA. Este proyecto fue oportunamente aprobado en el marco de los incentivos a la investigación y busca como objetivos generales el trabajo conjunto tendiente a desarrollar tecnologías para el manejo de dispositivos en sistemas embebidos. Conjuntamente se realiza la formación de varios de los integrantes quienes se encuentran realizando sus estudios de posgrado en temas afines al proyecto. El proyecto busca desarrollar tareas de investigación y desarrollo en temas relacionados a los sistemas embebidos, tanto en aspectos de software como de hardware. De este modo se busca desarrollar soluciones a problemas en áreas como visualización, optimización de sistemas operativos de tiempo real, sensores, etc. no solo desde el punto de vista algorítmico sino a partir de su implementación en sistemas de hardware programable como FPGAs.Eje: Procesamiento de Señales y Sistemas de Tiempo RealRed de Universidades con Carreras en Informática (RedUNCI