Software Gratuito Para Enseñar Lógica.



Tutorial de Lògica Matemàtica - Càlcul de Proposicions. Software escrito por Neus Budesca en 1999, en la Universitat Rovira i Virgili, en Tarragona. La interfaz está en un catalán fácil de entender. Cubre el cálculo proposicional con algo de teoría, formalización, y ejercicios con demostraciones por deducción natural, formas normales (conjuntivas y disyuntivas), álgebra booleana (por método positivo y método negativo), y resolución no lineal (saturación por niveles, sistemática) o lineal (primaria o no, unitaria o no, restringida a la literal de la derecha, con conjunto de apoyo). Ofrece estadísticas de la actuación del alumno y tanto un manual como ayuda en linea sobre el uso de programa.

Lista de Desarrollos Informáticos del Proyecto Aracne. Incluye "Traductor de Lógica modal", "Traductor de Lógica heterogénea", "Calculus Ratiocinator", "Tutor de Lógica proposicional" y "Los Enigmas de Ulises".

Recurso en internet con interesantes aplicaciones locales (applets) o remotas (cgis) creadas por Christian Gottschall y traducidas al idioma español.


También vea:
la página que mantiene Hans van Ditmarsch sobre software para lógica,
la sección sobre cursos de lógica para ciencias de la computación mantenida por Kathi Fisler,
la página en alemán "Logik-Software fuer Unterrichtszwecke" mantenida por Jochen Lechner,
la página de software didáctico para lógica y otras utilerías del "Sito Web Italiano per la Filosofia".

Regresar a la página del TDL

Regresar a la página de Raymundo

Regresar a la página del IIF