Temas
De DAO (Demostración asistida por ordenador)
Revisión del 23:06 26 feb 2013 de Jalonso (discusión | contribuciones) (→Temas de Demostración asistida por ordenador)
Temas de Demostración asistida por ordenador
- Tema 1: Programación funcional en Isabelle.
- Tema 2: Razonamiento sobre programas.
- Tema 3: Deducción natural proposicional con Isabelle/HOL.
- Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL.
- Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica.
- Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL.