El Asistente para Deducción Natural (ADN) es una herramienta didáctica que asiste al alumno que se inicia en la técnica de Deducción Natural a elaborar sus propias deducciones.
Comprueba si la fórmula es sintácticamente correcta (fbf) y si se ha obtenido de forma adecuada (reglas básicas). Además, posee las siguientes herramientas de apoyo:
- Ayudante, que guía la interacción del usuario con el ADN
- Visor de árboles sintácticos de las fórmulas
- Informe detallado de los errores
- Visor de reglas básicas
- Aconsejador
- Multilenguaje: posibilidad de ejecutarlo en cualquier idioma
- Permite cargar ejercicios desde el servidor
- Tutorial de deducción natural
Para poder ejecutar esta versión
del Asistente de Deducción Natural es necesario tener instalada la ultima versión del plugin de
Java en su navegador. Si no lo tiene instalado, o no sabe si lo tiene
pulse en:
Realizado
por:
Sergio Mira Cabrera
Dirigido
por:
Faraón Llorens Largo
© 2000, 2003
Departamento de Ciencia de
la Computación e Inteligencia Artificial
Universidad
de Alicante
Universitat
d'Alacant
