Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2011-12)
(→Ejercicios) |
(→Ejercicios de Demostración asistida por ordenador) |
||
| (No se muestran 2 ediciones intermedias de 2 usuarios) | |||
| 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 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]]). | ||