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	Atserias				4
El desenvolupament de la lògica formal	Badesa		2
Introducció 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ògiques multivalorades	Gispert			3
Models de la teoria de conjunts	Bagaria			3
Ordre, reticles i àlgebres de Boole	Font	1
Teoria avançada de models	Casanovas			3
Teoria de conjunts combinatòria	Bagaria		2
Teoria de la demostració i demostració automàtica	Joost Joosten / Juan Carlos Martínez		2

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