Diferencia entre revisiones de «Temas»
De DAO (Demostración asistida por ordenador)
(→Temas de Demostración asistida por ordenador) |
(→Temas de Demostración asistida por ordenador) |
||
| Línea 1: | Línea 1: | ||
== Temas de ''Demostración asistida por ordenador'' == | == Temas de ''Demostración asistida por ordenador'' == | ||
* [[Tema 1: Deducción natural proposicional con Isabelle/HOL]]. | * [[Tema 1: Deducción natural proposicional con Isabelle/HOL]]. | ||
| + | <!-- | ||
* [[Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL]]. | * [[Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL]]. | ||
* [[Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica]]. | * [[Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica]]. | ||
| Línea 6: | Línea 7: | ||
* [[Tema 5: Razonamiento sobre programas]]. | * [[Tema 5: Razonamiento sobre programas]]. | ||
* [[Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL]]. | * [[Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL]]. | ||
| + | --> | ||