Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2011-12)
(→Ejercicios) |
(→Ejercicios de Demostración asistida por ordenador) |
||
| Línea 1: | Línea 1: | ||
== Ejercicios de ''Demostración asistida por ordenador'' == | == Ejercicios de ''Demostración asistida por ordenador'' == | ||
| − | * ''' | + | * '''Tema 2:''' Razonamiento sobre programas ([[Rel_1|Enunciado]] y [[Relación 1|Solución colaborativa]]). |
| + | * '''Tema 3:''' Deducción natural proposicional con Isabelle ([[Tema_3_ej|Enunciado]] y [[Ejercicios del tema 3 |Solución colaborativa]]). | ||
Revisión del 13:26 29 mar 2011
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).