Acerca del Sistema Lulio
Lulio es una aplicación interactiva diseñada para la demostración formal de teoremas basados en el Cálculo de Enunciados.
Fundamento Lógico y Proyecto
La meta de este proyecto es producir una plataforma de software que provea un entorno para probar teoremas de la lógica de primer orden, didácticamente útil para los estudiantes de lógica de las universidades mexicanas.
Esta plataforma fue construida bajo los auspicios del proyecto CONAHCYT Ciencia de Frontera
CF-2023-I-161, bajo la dirección del:
Dr. Adolfo García de la Sienra Guajardo.
Participó en el diseño y la programación el Mtro. Eliel Morales González.
Información Técnica
- Framework Principal: Spring Boot
- Motor de Plantillas: Thymeleaf
- Desarrollo Frontend: JavaScript (ES6+) y Bootstrap 5.3.3
- Versión de Software: 1.0.0 (Beta)
Contacto
Para soporte o consultas sobre la lógica del sistema, contacte a:
Dr. Adolfo García de la Sienra
Universidad Veracruzana, Instituto de Filosofía
[email protected]