ASSIGNATURES OFERTES (*)

Denominació	Professor(s)	Semestre
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat	Lozano / Atserias	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 i 2
Àlgebra universal	Torrens	1
Complexitat	Alvarez / Atserias	3
Demostració automàtica	Martínez	4
El desenvolupament de la lògica formal	Badesa	3
Filosofia de la matemàtica	Jané	3
Història de les matemàtiques	Pla (2)	1
Lògica algebraica	Font	2
Lògica algebraica abstracta	Font	3
Lògica categorial	--	--
Lògica modal	Jansana	3
Lògiques i intel·ligència artificial	Esteva / Garcia	4
Lògiques multivalorades	Gispert	4
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	Martínez	2
Teoria de la demostració	--	--
ASSIGNATURES ANIVELLADORES
Àlgebra bàsica	(3)	1
Introducció a la lògica matemàtica	Elgueta (4)	1

(*) Als semestres 3 i 4, any acadèmic 2007-2008, 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 del Grau o Llicenciatura en Matemàtiques de la Universitat de Barcelona (Facultat de Matemàtiques), i s'ofereix tots els semestres.
(2) Correspon a l'assignatura Història de les Matemàtiques II del Grau o Llicenciatura en Matemàtiques de la Universitat de Barcelona (Facultat de Matemàtiques).
(3) Correspon a l'assignatura Àlgebra lineal del primer curs del Grau o Llicenciatura en Matemàtiques de la Universitat Politècnica de Catalunya (Facultat de Matemàtiques i Estadística).
(4) Correspon a l'assignatura Lògica i Fonamentació del Grau o Llicenciatura en Matemàtiques de la Universitat Politècnica de Catalunya (Facultat de Matemàtiques i Estadística).