Temas
De Demostración automática de teoremas (2014-15)
Revisión del 11:40 6 abr 2015 de Mjoseh (discusión | contribuciones)
Temas de Demostración automática de teoremas (2014-15)
- Tema 1: Sintaxis y semántica de la Lógica proposicional.
- Tema 2: Deducción natural en Lógica proposicional.
- Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL.[1]
- Tema 4: Sintaxis y semántica de la Lógica de primer orden.
- Tema 5: Deducción natural en Lógica de primer orden.
- Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL.[2]
- Tema 7: Programación funcional en Isabelle/HOL..[3]
- Tema 8: Razonamiento sobre programas en Isabelle/HOL..[4]
- Tema 9: Razonamiento por casos e inducción.
- Tema 10: Verificación de algoritmos deordenación.
- Tema 11: Conjuntos, funciones y relaciones.
- Tema 12: Definiciones inductivas en Isabelle/HOL
- Tema 13: Caso de estudio: clausura reflexiva transitiva.
- Tema 14: Razonamiento modular: Teoría de grupos.