ASIGNATURAS OFRECIDAS

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