Diferencia entre revisiones de «Temas»
De Demostración automática de teoremas (2014-15)
| Línea 6: | Línea 6: | ||
*[http://www.cs.us.es/~mjoseh/dat-15/tema-5.pdf Tema 5: Deducción natural en Lógica de primer orden.] | *[http://www.cs.us.es/~mjoseh/dat-15/tema-5.pdf Tema 5: Deducción natural en Lógica de primer orden.] | ||
* [[Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL]].[http://www.cs.us.es/~mjoseh/dat-15/T6.thy] | * [[Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL]].[http://www.cs.us.es/~mjoseh/dat-15/T6.thy] | ||
| − | * [[Tema 7: Programación funcional en Isabelle/HOL.]] | + | * [[Tema 7: Programación funcional en Isabelle/HOL.]][http://www.cs.us.es/~mjoseh/dat-15/T7.thy] |
| − | * [[Tema 8: Razonamiento sobre programas en Isabelle/HOL.]] | + | * [[Tema 8: Razonamiento sobre programas en Isabelle/HOL.]][http://www.cs.us.es/~mjoseh/dat-15/T8.thy] |
| − | * [[Tema 9: Razonamiento por casos e inducción.]] | + | * [[Tema 9: Razonamiento por casos e inducción.]][http://www.cs.us.es/~mjoseh/dat-15/T8.thy] |
* Tema 10: Conjuntos, funciones y relaciones. | * Tema 10: Conjuntos, funciones y relaciones. | ||
* Tema 11: Definiciones inductivas en Isabelle/HOL | * Tema 11: Definiciones inductivas en Isabelle/HOL | ||
* Tema 12: Caso de estudio: clausura reflexiva transitiva. | * Tema 12: Caso de estudio: clausura reflexiva transitiva. | ||
* Tema 13: Razonamiento modular: Teoría de grupos. | * Tema 13: Razonamiento modular: Teoría de grupos. | ||
Revisión del 08:55 8 abr 2015
Temas de Demostración automática de teoremas (2014-15)
- Tema 1: Sintaxis y semántica de la Lógica proposicional.
- Tema 2: Deducción natural en Lógica proposicional.
- Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL.[1]
- Tema 4: Sintaxis y semántica de la Lógica de primer orden.
- Tema 5: Deducción natural en Lógica de primer orden.
- Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL.[2]
- Tema 7: Programación funcional en Isabelle/HOL.[3]
- Tema 8: Razonamiento sobre programas en Isabelle/HOL.[4]
- Tema 9: Razonamiento por casos e inducción.[5]
- Tema 10: Conjuntos, funciones y relaciones.
- Tema 11: Definiciones inductivas en Isabelle/HOL
- Tema 12: Caso de estudio: clausura reflexiva transitiva.
- Tema 13: Razonamiento modular: Teoría de grupos.