Enseñanza del sistema de Deducción Natural en Lógica Proposicional. Entrevista a Joaquín Arias
Banco de Buenas Prácticas
La lógica matemática y computacional son materias básicas en la mayoría de las titulaciones universitarias relacionadas con la Ingeniería Informática. Son fundamentales en el estudio de bases de datos, complejidad computacional, lenguajes de programación, inteligencia artificial, diseño y verificación de sistemas hard y soft, entre otros. Sin embargo, para estudiantes de un primer curso no es inmediato reconocer las conexiones entre la lógica y lo que necesitarán aprender en estudios futuros. Para mitigar esta sensación de desconexión entre contenidos básicos y más avanzados hemos adaptado la metodología de la asignatura de Lógica incorporando el uso de DeduccionNatural.pl, una herramienta implementada en Prolog (lenguaje de programación lógica), para la resolución y corrección de las demostraciones de deducción natural en lógica proposicional.
