Diferencia entre revisiones de «Temas»
De Lógica matemática y fundamentos (2018-19)
| Línea 4: | Línea 4: | ||
* Tema 2: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional]. | * Tema 2: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional]. | ||
* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]]. | * Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]]. | ||
| − | |||
* Tema 3: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden]. | * Tema 3: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la 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 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: [[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 actual del 22:02 7 feb 2020
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.