CALENDARIO Y HORARIOS DE CLASES

¿ Cuándo empiezan las clases ?
 

Asignatura	Horario	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2010-2011) Período de clases: de septiembre del 2010 a enero del 2011
Álgebra abstracta
Álgebra básica
Álgebra universal
Introducción a la lógica matemática
Lógicas no clàsicas
Orden, retículos y álgebras de Boole
Teoría básica de conjuntos
SEMESTRE 2 (Invierno-Primavera 2011) Período de clases: de febrero del 2011 a junio del 2011
Álgebra abstracta
Calculabilidad
Lógica algebraica
Lógica matemática
Teoría básica de modelos
Teoría combinatoria de conjuntos
SEMESTRE 3 (Otoño-Invierno 2011-2012) Período de clases: de septiembre de 2011 a enero de 2012
Complejidad
Filosofía de la matemática
Lógica algebraica abstracta
Lógica modal
Lógicas subestructurales y lingüística computacional
Modelos de la teoría de conjuntos
Teoría avanzada de modelos
SEMESTRE 4 (Invierno-Primavera 2012) Período de clases: de febrero de 2012 a junio de 2012
Demostración automática
El desarrollo de la lógica formal
Lógica categorial
Lógicas e inteligencia artificial
Lógicas multivaloradas
Teoría de la demostración

L:  Lunes    M:  Martes    X:  Miércoles    J:  Jueves    V:  Viernes

Nord:  Campus norte de la Universidad Politécnica de Catalunya Plaça:  Universidad de Barcelona, Facultad de Matemáticas, Plaza de la Universidad Raval:  Universidad de Barcelona, Facultades de Filosofía, Geografía e Historia, c. de Montalegre, 6 Sud:  Campus sur de la Universidad Politécnica de Catalunya, Facultad de Matemáticas y Estadística, c. Pau Gargallo, 5 (edificio U) UAB:  Campus de la Universidad Autónoma de Barcelona, Bellaterra (Edificio sin determinar)