Este curso es una introducción de los principales conceptos
lógicos tanto de la lógica proposicional como de la de
primer orden. Para ambas se consideran distintos cálculos y
procedimientos de decisión. En el plan de la asignatura se encuentra
más información.
Material para el curso
Temas |
Transparencias de los temas y ejercicios. |
Documentación |
Enlaces con documentación. |
Sistemas |
Sistemas utilizados. |
Exámenes |
Exámenes del curso y de cursos anteriores. |
|