ASIGNATURAS OFRECIDAS (*)

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

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