Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2011-12)
(→Ejercicios de Demostración asistida por ordenador) |
|||
| Línea 2: | Línea 2: | ||
* '''Tema 2:''' Razonamiento sobre programas ([[Rel_1|Enunciado]] y [[Relación 1|Solución colaborativa]]). | * '''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]]). | * '''Tema 3:''' Deducción natural proposicional con Isabelle ([[Tema_3_ej|Enunciado]] y [[Ejercicios del tema 3 |Solución colaborativa]]). | ||
| + | * '''Tema 4:''' Deducción natural en lógica de primer orden con Isabelle ([[Tema_4_ej|Enunciado]] y [[Ejercicios del tema 4 |Solución colaborativa]]). | ||
Revisión del 15:33 14 abr 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).
- Tema 4: Deducción natural en lógica de primer orden con Isabelle (Enunciado y Solución colaborativa).