ASIGNATURAS OFRECIDAS

Denominación	Profesor(es)	Semestre (*)
ASIGNATURAS FUNDAMENTALES (OBLIGATORIAS)
Calculabilidad			2
Lógica matemática	Casanovas		2
Lógicas no clásicas	Gispert	1
Teoría básica de conjuntos	Jané	1
Teoría básica de modelos	Farré		2
ASIGNATURAS OPTATIVAS
Álgebra abstracta	(1)	1	2	3	4
Álgebra universal	Torrens	1
Complejidad				3
Demostración automática	Martínez				4
El desarrollo de la lógica formal	Badesa				4
Filosofía 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ógicas e inteligencia artificial	Esteva / Garcia			3	4	?
Lógicas multivaloradas	Gispert			3
Lógicas subestructurales y lingüística computacional	Morrill			3
Modelos de la teoría de conjuntos	Bagaria			3
Orden, retículos i álgebras de Boole	Jansana	1
Teoría avanzada de modelos	Casanovas			3
Teoría de conjuntos combinatoria	Jané		2
Teoría de la demostración				3	4	?
ASIGNATURAS NIVELADORAS
Álgebra básica	(2)	1
Introducción a la lógica matemática	Elgueta (3)	1

(*) La lista de asignaturas optativas para los semestres 3 y 4 (en el año académico 2009-2010), así como su distribución entre semestres, pueden sufrir alguna variación.
(1) Corresponde a la asignatura Àlgebra I del segundo curso de la Licenciatura en Matemáticas de la Universidad de Barcelona (Facultad de Matemáticas), y se puede cursar en cualquiera de los semestres.
(3) Corresponde a la asignatura Álgebra lineal del primer curso de la Licenciatura en Matemáticas de la Universidad Politécnica de Catalunya (Facultad de Matemáticas y Estadística).
(3) Corresponde a la asignatura Lógica y Fundamentación de la Licenciatura en Matemátiques de la Universidad Politécnica de Catalunya (Facultad de Matemáticas y Estadística).