Herramienta para la enseñanza de la deducción natural
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/128339
Título: | Herramienta para la enseñanza de la deducción natural |
---|---|
Autor/es: | Llorens Largo, Faraón | Mira, Sergio |
Grupo/s de investigación o GITE: | Grupo de Investigación en Tecnologías Inteligentes para el Aprendizaje (Smart Learning) |
Centro, Departamento o Servicio: | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial |
Palabras clave: | Informática | Enseñanza universitaria |
Fecha de publicación: | 2000 |
Editor: | Asociación de Enseñantes Universitarios de la Informática (AENUI) | Universidad de Alcalá |
Cita bibliográfica: | Llorens, Faraón; Mira, Sergio. “Herramienta para la enseñanza de la deducción natural”. En: VI Jornadas sobre la Enseñanza Universitaria de la Informática, Alcalá de Henares, 25 y 26 de septiembre de 2000: libro de comunicaciones. Alcalá de Henares: Universidad de Alcalá, 2000. ISBN 84-8138-409-7, pp. 496-502 |
Resumen: | En el presente artículo se presenta una herramienta didáctica para la enseñanza de la lógica, en concreto para el aprendizaje de la técnica de inferencia de la Deducción Natural. ADN (Asistente para la Deducción Natural) es un programa, 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. También dispone de otras herramientas de soporte: árbol sintáctico, aconsejador, ayuda en línea, información detallada de errores, ... |
URI: | http://hdl.handle.net/10045/128339 |
ISBN: | 84-8138-409-7 |
Idioma: | spa |
Tipo: | info:eu-repo/semantics/conferenceObject |
Derechos: | Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 |
Revisión científica: | si |
Versión del editor: | https://aenui.org/actas/indice_e.html#anio2000 |
Aparece en las colecciones: | INV - Smart Learning - Comunicaciones a Congresos, Conferencias, etc. JENUI 2000 |
Archivos en este ítem:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
JENUI_2000_070.pdf | 643,48 kB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons