Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden
Resumen:
En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el contexto de un curso de Lógica.
| 2013 | |
| ANII - POS_FUL_2013_1_12. | |
|
ENSEÑANZA-LÓGICA SOFTWARE EDUCATIVO META VARIABLES PROYECTOS-MI DEDUCCIÓN NATURAL |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/2973 | |
| Acceso abierto |
