Diferencia entre revisiones de «Temas»
De DAO (Demostración asistida por ordenador)
(Página creada con '== Temas de ''Demostración asistida por ordenador'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas. * [[Tema 3: Deducción nat...') |
(→Temas de Demostración asistida por ordenador) |
||
| Línea 3: | Línea 3: | ||
* [[Tema 2: Razonamiento sobre programas]]. | * [[Tema 2: Razonamiento sobre programas]]. | ||
* [[Tema 3: Deducción natural proposicional con Isabelle/HOL]]. | * [[Tema 3: Deducción natural proposicional con Isabelle/HOL]]. | ||
| + | + [[Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL]]. | ||
| + | + [[Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica]]. | ||
| + | + [[Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL]]. | ||
Revisión del 23:06 26 feb 2013
Temas de Demostración asistida por ordenador
- Tema 1: Programación funcional en Isabelle.
- Tema 2: Razonamiento sobre programas.
- Tema 3: Deducción natural proposicional con Isabelle/HOL.
+ Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL. + Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica. + Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL.