Lógica informática (2012-13)

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.
Diario	Descripción diaria de las clases.

[ Inicial | Temas | Documentación | Sistemas | Exámenes ]