Diferencia entre revisiones de «Temas»
De Lógica matemática y fundamentos (2018-19)
| Línea 7: | Línea 7: | ||
* Tema 4: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden]. | * Tema 4: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden]. | ||
* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL]. | * Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL]. | ||
| − | * Tema 5: [[ | + | * Tema 5: [[Programación funcional en Isabelle/HOL]]. |
| − | * Tema 6: [[Razonamiento sobre programas]]. | + | * Tema 6: [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas]. |
| + | * Tema 6a: [[Razonamiento sobre programas en Isabelle/HOL]]. | ||
* Tema 7: [[Razonamiento por casos y por inducci¢n]]. | * Tema 7: [[Razonamiento por casos y por inducci¢n]]. | ||
* Tema 8: [[Razonamiento sobre árboles y bosques]]. | * Tema 8: [[Razonamiento sobre árboles y bosques]]. | ||
Revisión del 13:01 7 feb 2019
En esta página se encuentra el material (transparencias y teorías) del curso Lógica matemática y fundamentos.
- Tema 1: Sintaxis y semántica de la lógica proposicional.
- Tema 2: Deducción natural proposicional.
- Tema 2a: Deducción natural proposicional con Isabelle/HOL.
- Tema 3: Sintaxis y semántica de la lógica de primer orden.
- Tema 4: Deducción natural en lógica de primer orden.
- Tema 4a: Deducción natural en lógica de primer orden con Isabelle/HOL.
- Tema 5: Programación funcional en Isabelle/HOL.
- Tema 6: Razonamiento sobre programas.
- Tema 6a: Razonamiento sobre programas en Isabelle/HOL.
- Tema 7: Razonamiento por casos y por inducci¢n.
- Tema 8: Razonamiento sobre árboles y bosques.
- Tema 9: Definiciones inductivas.
- Tema 10: Conjuntos, funciones y relaciones.
- Tema 11: Desarrollo de teor¡as formalizadas con Isabelle/HOL.