|
Lógica Matemática y Fundamentos (2022-23) |
|
| Temas |
| Ejercicios |
| Exámenes |
| Sistemas |
| Documentación |
| Entrar |
Contenidos del curso
| Tema 01 | Sintaxis y semántica de la lógica proposicional |
| Tema 02 | Deducción natural proposicional |
| Deducción natural proposicional en Isabelle | |
| Tema 03 | Sintaxis y semántica de la lógica de primer orden |
| Tema 04 | Deducción natural en lógica de primer orden |
| Deducción natural de primer orden en Isabelle | |
| Tema 05 | Programación funcional en Isabelle |
| Tema 06 | Razonamiento ecuacional |
| Tema 07 | Razonamiento por inducción |
| Tema 08 | Razonamiento con tipos de datos recursivos |