ASSIGNATURES OFERTADES

Denominació	Professor(s)	Semestre (*)
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat	Atserias	1
Lògica matemàtica	Casanovas		2
Lògiques no clàssiques	Gispert	1
Teoria bàsica de conjunts	Jané	1
Teoria bàsica de models	Farré		2
ASSIGNATURES OPTATIVES
Àlgebra universal	Torrens	1
Complexitat				3
Demostració automàtica	Martínez				4
El desenvolupament de la lògica formal	Badesa		2
Filosofia de la matemàtica	Jané			3
Introducció 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ògiques i intel·ligència artificial	Esteva / Garcia			3	4	?
Lògiques multivalorades	Gispert			3
Lògiques subestructurals i lingüística computacional	Morrill			3
Models de la teoria de conjunts	Bagaria			3
Ordre, reticles i àlgebres de Boole	Jansana	1
Teoria avançada de models	Casanovas			3
Teoria de conjunts combinatòria	Bagaria		2
Teoria de la demostració				3	4	?

(*) Als semestres 3 i 4, any acadèmic 2011-2012, la llista d'assignatures optatives, així com alguns detalls de la distribució entre semestres, estan subjectes a canvis.