Tutor de Lógica Proposicional

Neus Budesca, Antonio Moreno
Universitat Rovira i Virgili

Resumen

En este documento se describe el funcionamiento del programa Tutorial de Lógica Matemática Ð Cálculo Proposicional (MLT-PC). Este programa fue desarrollado por Neus Budesca, una estudiante de la Universidad Rovira i Virgili de Tarragona, como proyecto de final de carrera de la Ingeniería Técnica en Informática de Gestión, en septiembre de 1999.

El objetivo principal de MLT-PC es proporcionar a los estudiantes de la asignatura Introducción a la Lógica (ILO) una herramienta útil para aprender la teoría y las herramientas básicas de la Lógica Proposicional. Permite al usuario realizar ejercicios de Deducción natural, Álgebra de Boole y Resolución; además, el estudiante también puede consultar la teoría de la asignatura. El sistema guarda información sobre la actividad de todos sus usuarios, y así puede proporcionar estadísticas completas sobre la actividad de los estudiantes en todas las sesiones de trabajo. Este programa ha sido ya utilizado en los cursos 99-00 y 00-01 en la URV, y ha sido de gran ayuda a los alumnos de ILO para el estudio del Cálculo Proposicional.

Descarga

Ponencia completa en formato PDF
Material de la demo comprimido en un fichero zip