Ejercicios
De Demostración asistida por ordenador (2011-12)
Revisión del 15:33 14 abr 2011 de Mjoseh (discusión | contribuciones)
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).
- Tema 4: Deducción natural en lógica de primer orden con Isabelle (Enunciado y Solución colaborativa).