|
Lógica Matemática y Fundamentos (2025-26) |
|
| 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 en lógica de primer orden en Isabelle | |
| Tema 05 | Programación funcional en Isabelle |
| Tema 06 | Razonamiento ecuacional e inducción |