Ejercicios

En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al libro de ejercicios.

• Relación 1: Sintaxis y semántica de la lógica proposicional. (Enunciado y solución).
• Relación 2: Deducción natural proposicional con Isabelle (Enunciado y solución).
• Relación 3: Deducción natural proposicional con Isabelle (II) (Enunciado y solución).
• Relación 4: Sintaxis y semántica de la lógica de primer orden. (Enunciado y solución).).
• Relación 5: Deducción natural en lógica de primer orden. (Enunciado y solución).
• Relación 6: Formalización y argumentación con Isabelle/HOL. (Enunciado y solución).
• Relación 7: Deducción natural,formalización y argumentación en LPO con Isabelle/HOL. (Enunciado).
• Relación 8: Programación funcional en Isabelle/HOL. (Enunciado y solución).
• Relación 9: Programación funcional en Isabelle/HOL (II). (Enunciado y solución).
• Tarea 1 (24-04-2020): (Enunciado y solución).
• Relación 10: Razonamiento sobre programas en Isabelle/HOL. (Enunciado y solución).
• Relación 11: Razonamiento sobre programas en Isabelle/HOL(II). (Enunciado y solución).
• Relación 12: Razonamiento sobre programas en Isabelle/HOL(III). (Enunciado y solución).
• Tarea 2 (12-05-2020): (Enunciado y solución).
• Relación 13: Recorridos de árboles. (Enunciado y solución).
• Relación 14: Una axiomatización de la Geometría. (Enunciado y solución).
• Tarea 3 (19-05-2020): (Enunciado y solución).
• Relación 15: Definiciones inductivas: clausuras. (Enunciado y solución
• Tarea 4 (26-05-2020): (Enunciado y solución).
• Tarea 5 (02-06-2020): (Enunciado (1) y solución) y (Enunciado (2) y solución).
• Trabajo final: (Enunciado y solución).
• Examen (2-07-2020): (Enunciado y solución).
• Examen (9-09-2020): (Enunciado y solución).