ASSIGNATURES OFERTADES

Denominació	Professor(s)	Semestre
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat	J.L. Balcazar	1
Lògica matemàtica	E. Casanovas		2
Lògiques no clàssiques	J. Gispert	1
Teoria bàsica de conjunts	J. Bagaria	1
Teoria bàsica de models	R. Farré		2
ASSIGNATURES OPTATIVES
Àlgebra universal	J. Gispert	1
Complexitat	A. Lozano /A. Atserias		2		4
El desenvolupament de la lògica formal	S. Oms		2
Introducció a la lògica matemàtica	R. Farré	1
Lògica algebraica	R. Jansana		2
Lògica algebraica abstracta	T. Moraschini			3
Lògica modal	J. Joosten		2
Lògiques multivalorades	J. Gispert			3
Models de la teoria de conjunts	J. Bagaria			3
Ordre, reticles i àlgebres de Boole	T. Moraschini	1
Teoria avançada de models	E. Casanovas			3
Teoria de conjunts combinatòria	J. Bagaria		2
Teoria de la demostració i demostració automàtica	J. C. Martínez / J. J. Joosten			3

(*) La llista d'assignatures optatives, així com alguns detalls de la distribució entre semestres, estan subjectes a canvis.