Ejercicios
De Demostración asistida por ordenador (2011-12)
Revisión del 13:26 29 mar 2011 de Jalonso (discusión | contribuciones) (→Ejercicios de Demostración asistida por ordenador)
Ejercicios de Demostración asistida por ordenador
- Tema 2: Razonamiento sobre programas (Enunciado y Solución colaborativa).
- Tema 3: Deducción natural proposicional con Isabelle (Enunciado y Solución colaborativa).