Diferencia entre revisiones de «DAO2011 (Demostración asistida por ordenador)»
De Demostración asistida por ordenador (2011-12)
(→Temas y ejercicios) |
|||
| Línea 1: | Línea 1: | ||
| − | = Temas | + | = Temas = |
* [[Tema 1: Isabelle como un lenguaje funcional]]. | * [[Tema 1: Isabelle como un lenguaje funcional]]. | ||
* [[Tema 2: Razonamiento sobre programas]]. | * [[Tema 2: Razonamiento sobre programas]]. | ||
| + | |||
| + | = Ejercicios = | ||
| + | * '''Relación 1:''' Razonamiento sobre programas ([[Rel_1|Enunciado]] y [[Relación 1|Solución colaborativa]]). | ||