Lógica informática (2015-16)
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.
- Ejercicios: Relaciones de ejercicios.
- Documentación: Enlaces con documentación.
- Sistemas: Sistemas utilizados.
- Exámenes: Exámenes del curso y de cursos anteriores.
- Diario: Descripción diaria de las clases.