ASSIGNATURES OFERTES

Denominació	Professor(s)	Semestre (*)
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat			2
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 abstracta	(1)	1	2	3	4
Àlgebra universal	Torrens	1
Complexitat				3
Demostració automàtica	Martínez				4
El desenvolupament de la lògica formal	Badesa				4
Filosofia de la matemàtica	Jané			3
Lògica algebraica	Font		2
Lògica algebraica abstracta	Font				4
Lògica categorial				3	4	?
Lògica modal	Jansana			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	Jané		2
Teoria de la demostració				3	4	?
ASSIGNATURES ANIVELLADORES
Àlgebra bàsica	(2)	1
Introducció a la lògica matemàtica	Elgueta (3)	1

(*) Als semestres 3 i 4, any acadèmic 2009-2010, la llista d'assignatures optatives, així com alguns detalls de la distribució entre semestres, estan subjectes a canvis.
(1) Correspon a l'assignatura Àlgebra I del segon curs de la Llicenciatura en Matemàtiques de la Universitat de Barcelona (Facultat de Matemàtiques), i es pot cursar en qualsevol semestre.
(2) Correspon a l'assignatura Àlgebra lineal del primer curs de la Llicenciatura en Matemàtiques de la Universitat Politècnica de Catalunya (Facultat de Matemàtiques i Estadística).
(3) Correspon a l'assignatura Lògica i Fonamentació de la Llicenciatura en Matemàtiques de la Universitat Politècnica de Catalunya (Facultat de Matemàtiques i Estadística).