Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2012-13)
(→Temas de Demostración asistida por ordenador) |
(→Temas de Demostración asistida por ordenador) |
||
| Línea 2: | Línea 2: | ||
* [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 1: Panorama de la demostración asistida por ordenador]. | * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 1: Panorama de la demostración asistida por ordenador]. | ||
* [[Tema 2: Isabelle como un lenguaje funcional]]. | * [[Tema 2: Isabelle como un lenguaje funcional]]. | ||
| − | * [[ | + | * [[Tema 3: El lenguaje de demostracion Isar]]. |
| − | * [[ | + | * [[Tema 4: Distinción de casos e inducción]]. |
| − | * [[ | + | * [[Tema 5: Patrones de demostración]]. |
| − | * [[ | + | * [[Tema 6: Heurísticas para la inducción y recursión general]]. |