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