Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2011-12)
(→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 | + | * '''Tema 2:''' Razonamiento sobre programas ([[Rel_1|Enunciado]]). |
| − | * '''Tema 3:''' Deducción natural proposicional con Isabelle ([[Tema_3_ej|Enunciado | + | * '''Tema 3:''' Deducción natural proposicional con Isabelle ([[Tema_3_ej|Enunciado]]). |
| − | * '''Tema 4:''' Deducción natural en lógica de primer orden con Isabelle ([[Tema_4_ej|Enunciado | + | * '''Tema 4:''' Deducción natural en lógica de primer orden con Isabelle ([[Tema_4_ej|Enunciado]]). |