Objetivos: La asignatura se centra en el estudio de los sistemas lógicos tradicionales, así como en nuevas tendencias de reciente aparición con gran influencia en la ciencia y tecnología actuales. El objetivo principal es que el alumno conozca estos sistemas y reconozca su utilidad y aplicabilidad en las ciencias de la computación.

Estructura del temario: Lógica de Enunciados: Sintaxis, semántica, propiedades formales y deducción natural. Lógica de Predicados: Sintaxis, semántica, propiedades formales y deducción natural. Extensiones y Otras lógicas.

Docencia: 3 horas semanales de teoría y 1 de problemas (No incluye horas de actividad práctica en laboratorio).

Evaluación: Examen final, que constará de una parte de cuestiones y otra de problemas. La parte de cuestiones supondrá el 40% de la nota final y la de problemas el 60%. El examen podrá ser de tipo test. Si la parte de cuestiones es de tipo test, será eliminatoria (para aquellos que no obtengan más de un tercio de la puntuación exigida en esa parte).