|
Lógica Matemática y Fundamentos (2021-22) |
|
| 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 (avanzado) |
| Tema 08: | Razonamiento con tipos de datos recursivos |
| Tema 09: | Definiciones inductivas |
| Tema 10: | Desarrollo de teorías formalizadas |