ASIGNATURAS OFRECIDAS

Denominación	Profesor(es)	Semestre
ASIGNATURAS FUNDAMENTALES (OBLIGATORIAS)
Calculabilidad		1
Lógica matemática			2
Lógicas no clásicas		1
Teoría básica de conjuntos		1
Teoría básica de modelos			2
ASIGNATURAS OPTATIVAS
Álgebra universal		1
Complejidad			2		4
El desarrollo de la lógica formal			2
Introducción a la lógica matemática		1
Lógica algebraica			2
Lógica algebraica abstracta				3
Lógica modal			2
Lógicas multivaloradas				3
Modelos de la teoría de conjuntos				3
Orden, retículos i álgebras de Boole		1
Teoría avanzada de modelos				3
Teoría de conjuntos combinatoria			2
Teoría de la demostración y demostración automática				3

(*) La lista de asignaturas así como su distribución entre semestres, pueden sufrir alguna variación.