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