Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2011-12)
(Página creada con '= Ejercicios = * '''Relación 1:''' Razonamiento sobre programas (Enunciado y Solución colaborativa).') |
(→Ejercicios de Demostración asistida por ordenador) |
||
| (No se muestran 4 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | = Ejercicios = | + | == 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]]). | ||