CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2016-2017) Período de clases: de septiembre del 2016 a enero del 2017
Álgebra universal	M, J: 16-17:30	20 de septiembre	Plaça	S2
Calculabilidad	L, X: 11-12:30	12 de septiembre	Nord	A6101
Introducción a la lógica matemática	L, X: 12:30-14	12 de septiembre	Nord	A6101
Lógicas no clásicas	L, X: 8:30-10	19 de septiembre	Plaça	B2
Ordenes, retículos y álgebras de Boole	M, J: 10-11:30	20 de septiembre	Raval	411
Teoría básica de conjuntos	M, J: 12-13:30	15 de septiembre	Plaça	B7
SEMESTRE 2 (Invierno-Primavera 2017) Período de clases: de febrero del 2017 a junio del 2017
El desarrollo de la lógica formal	L: 9:30-10:30 X: 9:30-11:30	13 de febrero	Raval	411
Lógica algebraica	M, J: 16-18	14 de febrero	Raval	409
Lógica matemática	M, J: 12:30-14	14 de febrero	Plaça	S2
Lógica modal	M, X: 18:30-20	14 de febrero	Raval	409
Teoría básica de modelos	L, X: 12:30-14	13 de febrero	Nord	A6104
Teoría de conjuntos combinatoria	M, J: 10:30-12	14 de febrero	Plaça	S2
Complejidad	L, V: 12-14	13 de febrero	Nord	A6101
SEMESTRE 3 (Otoño-Invierno 2017/2018) Período de clases: de septiembre de 2016 a enero de 2017
Lógica algebraica abstracta	M, J: 12:30-14	19 de septiembre	Raval	412
Lógicas multivaloradas	L, X: 10-11:30	14 de septiembre	Plaça	S1
Modelos de la teoría de conjuntos	L, X: 12-13:30	13 de septiembre	Plaça	S1
Teoría avanzada de modelos	M: 9-11 J: 9-10	12 de septiembre	Plaça	S2
Teoría de la demostración y demostración automática	M, J: 11-12:30	19 de septiembre	Raval	402
SEMESTRE 4 (Invierno-Primavera 2018) Período de clases: de febrero de 2018 a junio de 2018
Complejidad	M, J: 8-10		Nord	A5203

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

Nord:  Campus norte de la Universidad Politécnica de Catalunya Edificio Omega: Campus norte de la Universidad Politécnica de Catalunya (mapa; foto) 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)