Diferencia entre revisiones de «Temas»
De Lógica matemática y fundamentos (2018-19)
| Línea 9: | Línea 9: | ||
* 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 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]]. | * Tema 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]]. | ||
| − | |||
| − | |||
* Tema 5: [[Programación funcional en Isabelle/HOL]]. | * Tema 5: [[Programación funcional en Isabelle/HOL]]. | ||
* Tema 6: [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas]. | * Tema 6: [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas]. | ||
Revisión del 19:32 25 mar 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 2b: Deducción natural proposicional con Isabelle/HOL basada en tácticas.
- 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 4b: Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas.
- 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.