LSD, una herramienta didáctica para el aprendizaje
de la lógica
Josep Humet
Universidad de Girona
Resumen
Se justifica la necesidad de herramientas didácticas para el aprendizaje de
la lógica, se analiza algunas de las herramientas existentes específicas
para la lógica de predicados de primer orden, y se describe una herramienta
desarrollada en el Departamento de Informática y Matemática Aplicada de la
Universidad de Girona.
Descarga
Ponencia completa en formato PDF
Material de la demo comprimido en un
fichero zip