LI2011-12: 3º examen de la evaluación continua
En la clase de hoy del curso Lógica Informática se ha realizado el tercer examen de la evaluación continua, en el que se incluye los 8 primeros temas:
- Sintaxis y semántica de la lógica proposicional.
- Deducción natural proposicional.
- Tableros semánticos proposicionales.
- Formas normales.
- Resolución proposicional.
- Sintaxis y semántica de la lógica de primer orden.
- Deducción natural en lógica de primer orden.
- Tableros semánticos en lógica de primer orden.