Acciones
Ejercicios
De Demostración asistida por ordenador (2011-12)
Ejercicios de Demostración asistida por ordenador
- Tema 2: Razonamiento sobre programas (Enunciado).
- Tema 3: Deducción natural proposicional con Isabelle (Enunciado).
- Tema 4: Deducción natural en lógica de primer orden con Isabelle (Enunciado).