Ejercicios de "Lógica matemática y fundamentos" (2011-12)

En esta página se encuentran las relaciones de ejercicios de la asignatura "Lógica matemática y fundamentos (2011-12)" de tercer curso del Grado en Matemática.

La mayoría de los ejercicios se encuentran en el libro Ejercicios de "Lógica matemática y fundamentos" (2011-12).

Las relaciones de ejercicios son:

• Relación 1: Formalización en lógica proposicional.
• Relación 2: Introducción a la programación con Haskell.
• Relación 3: Sintaxis y semántica de la lógica proposicional.
• Relación 4: Deducción natural en lógica proposicional.
• Relación 5: Sintaxis y semántica de la lógica proposicional en Haskell.
• Relación 6: Tableros semánticos en Haskell.
• Relación 7: Formas normales en Haskell.
• Relación 8: Cláusulas en Haskell.
• Relación 9: Resolución proposicional.
• Relación 10: Deducción natural en lógica de primer orden.
• Relación 11: Unificación.
• Relación 12: Ejercicios de decisión.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas | Exámenes ]