ASSIGNATURES OFERTADES

Denominació	Professor(s)	Semestre
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat	A. Atserias	1
Lògica matemàtica	E. Casanovas		2
Lògiques no clàssiques	J. Gispert	1
Teoria bàsica de conjunts	J. Bagaria i J.C. Martínez	1
Teoria bàsica de models	R. Farré		2
ASSIGNATURES OPTATIVES
Àlgebra universal	A. Torrens	1
Complexitat	A. Atserias		2		4
El desenvolupament de la lògica formal	P. Maffezioli		2
Introducció 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ògiques multivalorades				3
Models de la teoria de conjunts				3
Ordre, reticles i àlgebres de Boole	R. Jansana	1
Teoria avançada de models				3
Teoria de conjunts combinatòria	J. Bagaria		2
Teoria de la demostració i demostració automàtica				3

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