Adn: Una herramienta para la enseñanza de la deducción natural

Resumen

Se presenta el Asistente para la Deducción Natural (ADN), aplicación diseíiada y desarrollada en el departamento de Ciencia de la Computación e Inteligencia Artificial de la Universidad de Alicante, con el objetivo de servir de ayuda, tanto al profesor como a los estudiantes, en la enseíianza de las técnicas de demostración matemática, en concreto de la Deducción Natural. Esta herramienta didáctica se está utilizando en las asignaturas "Lógica de Primer Orden" de primer curso de la licenciatura en Matemáticas y "Lógica Computacional" de primer curso de las ingenierías en Informática ( tanto las dos técnicas como la superior). ADN (Asistente para la Deducción Natural) es un prog rama, ejecutado vía web, que supervisa y comprueba que las fórmulas lógicas introducidas están sintácticamente bien construidas (fbf) y que la secuencia obtenida (pasos de la deducción) es correcta. Al mismo tiempo contiene un breve tutorial sobre la Deducción Natural. También dispone de otras herramientas de soporte: árbol sintáctico, aconsejador, ayuda en línea, información detallada de errores, entre otros.