ASIGNATURAS OFRECIDAS

Denominación	Profesor(es)	Semestre (*)
ASIGNATURAS FUNDAMENTALES (OBLIGATORIAS)
Calculabilidad	Atserias	1
Lógica matemática	Casanovas		2
Lógicas no clásicas	Gispert	1
Teoría básica de conjuntos	Jané	1
Teoría básica de modelos	Farré		2
ASIGNATURAS OPTATIVAS
Álgebra universal	Torrens	1
Complejidad	Atserias				4
El desarrollo de la lógica formal	Badesa		2
Introducción a la lógica matemática	Farré	1
Lógica algebraica	Jansana		2
Lógica algebraica abstracta	Jansana				4
Lógica modal	Joosten			3
Lógicas multivaloradas	Gispert			3
Modelos de la teoría de conjuntos	Bagaria			3
Orden, retículos i álgebras de Boole	Font	1
Teoría avanzada de modelos	Casanovas			3
Teoría de conjuntos combinatoria	Bagaria		2
Teoría de la demostración y demostración automática	Joost Joosten / Juan Carlos Martínez		2

(*) La lista de asignaturas optativas para los semestres 3 y 4 (en el año académico 2013-2014), así como su distribución entre semestres, pueden sufrir alguna variación.