Bienvenidos a LogicUS

Sobre LogicUS

LogicUS constituye un sistema de apoyo a la enseñanza de la Lógica Computacional, con la visión de proporcionar las herramientas necesarias, en diferentes niveles de abstracción, basadas en el uso de la programación funcional y con orientación web para el tratamiento de la Lógica orientada a la resolución de problemas en diferentes aspectos de la Lógica Proposicional (LP o PL) y de Primer Orden (LPO o FOL). También proporciona un conjunto de algoritmos operativos (tableros semánticos, DPLL, resolución, Herbrand, etc.) así como las representaciones de las ejecuciones y resultados en diferentes formatos (tablas, gráficos, ...) específicamente diseñados para permitir la integración con otros sistemas y herramientas, en concreto para la generación de documentos exportables en diferentes formatos, proporcionando un conjunto completo de herramientas para apoyar el desarrollo docente tanto de forma interactiva durante el desarrollo de sesiones teóricas,  generación de documentación, prácticas y pruebas de evaluación.