Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2011-12)
(→Temas de Demostración asistida por ordenador) |
|||
| Línea 2: | Línea 2: | ||
* [[Tema 1: Isabelle como un lenguaje funcional]]. | * [[Tema 1: Isabelle como un lenguaje funcional]]. | ||
* [[Tema 2: Razonamiento sobre programas]]. | * [[Tema 2: Razonamiento sobre programas]]. | ||
| + | * [[Tema 3: Deducción lógica proposicional con Isabelle]]. | ||