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				3
Demostración automática	Martínez				4
El desarrollo de la lógica formal	Badesa		2
Filosofía de la matemática	Jané			3
Introducción a la lógica matemática	Farré	1
Lógica algebraica	Font		2
Lógica algebraica abstracta	Font			3
Lógica modal	Joosten / Bou			3
Lógicas e inteligencia artificial	Esteva / Garcia			3	4	?
Lógicas multivaloradas	Gispert			3
Lógicas subestructurales y lingüística computacional	Morrill			3
Modelos de la teoría de conjuntos	Bagaria			3
Orden, retículos i álgebras de Boole	Jansana	1
Teoría avanzada de modelos	Casanovas			3
Teoría de conjuntos combinatoria	Bagaria		2
Teoría de la demostración				3	4	?

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