Lógica informática (2013-14)

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.