Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2011-12)
(Página creada con '* Tema 1: Isabelle como un lenguaje funcional. * Tema 2: Razonamiento sobre programas.') |
|||
| (No se muestran 3 ediciones intermedias de otro usuario) | |||
| Línea 1: | Línea 1: | ||
| + | == Temas de ''Demostración asistida por ordenador'' == | ||
* [[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]]. | ||
| + | * [[Tema 4: Deducción natural en lógica de primer orden con Isabelle]]. | ||