Diferencia entre revisiones de «DAO2011 (Demostración asistida por ordenador)»
De Demostración asistida por ordenador (2011-12)
(Página creada con 'Esta es la inicial.') |
|||
| Línea 1: | Línea 1: | ||
| − | + | = Temas y ejercicios = | |
| + | * [[Tema 1: Isabelle como un lenguaje funcional]]. | ||
| + | * [[Tema 2: Razonamiento sobre programas]]. | ||