RECURSOS PARA LA ENSEÑANZA-APRENDIZAJE DE LA LÓGICA


Selección por Moris Polanco
* = Descargar
 

1. TEORÍA Y PRÁCTICA

THE LOGIC CAFÉ
Por John Halpin, Oakland University.
Tutor completo, en Java. Multitud de ejercicios. Si lo sigue y hace los ejercicios, suficiente para aprender lógica de primer orden. Necesitará Java Virtual Machine (no viene con Windows XP), Flash de Macromedia, y Real Player.

    Calificación: A+

OPEN TO EUROPE. SUBPROJECT LOGIC
Web site completo, con teoría y práctica. Ver especialmente Fundamentals of Propositional Logic y Propositional Logic Conclusions.

    Calificación: A

2. TUTORES

LOGICOLA*
Por Harry Gensler.
Multitud de ejercicios. Windows y DOS. Necesita ser instalado para llevar el control de progreso. Para acompañar el libro de Harry Gensler, Introduction to Logic (Vea también otros recursos de lógica en la página de Gensler).

    Calificación: A+

THE ART OF REASONING
Por Michael K. Green
Teoría y (mayormente) práctica, para acompañar el libro del mismo nombre, por David E. Kelly.

    Calificación: A

RON BLATT’S TUTORIAL
Para silogismos categóricos y diagramas de Venn. Applet de Java.

    Calificación: B-

3. GENERADORES DE PRUEBAS

THE PROPOSITIONAL LOGIC PROOF GENERATOR
Por Jonne Zutt and Joost Broekens.
Genera pruebas, árboles y tablas de verdad. Java Applet. Excelente.

    Calificación: A+

DEMOSTRADOR DE TEOREMAS*
por Jorge Hernéndez Martín.
Aplicación basada en la lógica proposicional que permite realizar la clasificación de fórmulas en Contingentes, Tautologías y Contradicciones. Y también permite realizar pruebas de Consistencia/Inconsistencia (Satisfacibilidad/Insatisfacibilidad) y de Consecuencia/Independencia. Trabaja en entorno DOS.  (Descargue el Manual comprimido.)

    Calificación: C-

4. PROBADORES

ASISTENTE PARA DEDUCCIÓN NATURAL
por Sergio Mira, Universidad de Alicante.
Herramienta didáctica que asiste al alumno que se inicia en la técnica de Deducción Natural a elaborar sus propias deducciones. Comprueba si la fórmula es sintácticamente correcta (fbf) y si se ha obtenido de forma adecuada (reglas básicas). Inconveniente:  pocas reglas de inferencia.

    Calificación: A-

LOGPROGS*
Por Thomas Weber
Varios programas en un paquete. Corre en DOS. Contiene traductor, diagramador, probador. Lógica propsicional y de predicados.

    Calificación: B+

TUTOR INTELIGENTE DE LÓGICA*
Por José Carlos Blanco García, Universidad de Salamanca.
Probador de argumentos, sencillo.

    Calificación: C

5. EJERCITADORES

THE LOGIC DAEMON
Tutor y probador de argumentos. Complemento del libro de Collin Allen y Michael Hand, The Logic Primer.

    Calificación: A

THE POWER OF LOGIC
Ejercicios de varios tipos correspondientes a los capítulos del libro del mismo nombre, por C. Stephen Layman.

    Calificación: B+

LOGIC COACH IV*
Por Nelson Pole, Cleveland State University.
Para acompañar el libro A Concise Introduction to Logic, por Patrick Hurley.
Multitud de ejercicios, pero no contiene las respuestas. Vea la página del programa.

    Calificación: B

BERTIE3*
Por Austen Clark, University of Connecticut.
Uno de los más antiguos programas de lógica. Funciona en DOS. Contiene bastantes ejemplos. Muy claro.

    Calificación: B- (si fuera en Windows le daría una A)

TWOOTIE*
Por Austen Clark, University of Connecticut.
Genera y comprueba árboles semánticos o de verdad. También en DOS

    Calificación: B- (si fuera en Windows le daría una A)

6. INTELIGENCIA ARTIFICIAL

PROTOTHINKER*
Por John Barker, Souther Illinois University in Edwardsville.
Interesante programa de AI. Contiene una sección de juegos de lógica y quiz maker.

    Calificación: A