Acerca de Mathesis
Un ecosistema digital para el aprendizaje de la lógica formal.
Mathesis es un proyecto integral desarrollado para proveer herramientas didácticas a estudiantes de lógica en las universidades mexicanas. El portal ofrece dos aplicaciones especializadas que permiten la construcción y verificación de derivaciones lógicas.
Lulio y Frege fueron construidas 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.
Lulio: Cálculo de Enunciados
Lulio se enfoca en la lógica proposicional. Permite a los estudiantes trabajar con conectivas lógicas fundamentales, facilitando la comprensión de la estructura de los argumentos antes de pasar a sistemas más complejos.
Frege: Cálculo de Predicados
Frege es una aplicación avanzada para la demostración de teoremas de lógica de primer orden. Implementa reglas de inferencia estándar como P, MP, C, MT, D, TE, R, EU, GU, E, permitiendo un control total sobre cuantificadores y variables.
Información Técnica
La infraestructura de Mathesis está diseñada para ser ligera y eficiente, permitiendo el despliegue en servidores de recursos moderados mediante arquitecturas de proxy inverso.
Contacto
Para soporte académico o consultas sobre el fundamento lógico del sistema: