Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2012-13)
(→Temas de Demostración asistida por ordenador) |
|||
| Línea 3: | Línea 3: | ||
* [[Tema 2: Programación funcional en Isabelle]]. | * [[Tema 2: Programación funcional en Isabelle]]. | ||
* [[Tema 3: Razonamiento sobre programas]]. | * [[Tema 3: Razonamiento sobre programas]]. | ||
| + | * [[Tema 4: Deducción natural proposicional con Isabelle/HOL]]. | ||