Lógica informática (G1 2003-04)

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
Prácticas Información para las clases de laboratorio
Documentación Enlaces con documentación
Sistemas Sistemas utilizados
Exámenes Exámenes de cursos anteriores