CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2018-2019) Período de clases: de septiembre de 2018 a enero de 2019
Álgebra universal	L, X: 16-17:30	13 de septiembre	Plaça	S1
Calculabilidad	L, X: 11-12:30	19 de septiembre	Nord	A6-206
Introducción a la lógica matemática	L: 12:30-14 X: 9:30-11	12 de septiembre	Nord	A6-206
Lógicas no clásicas	M, J: 8-9:30	13 de septiembre	Plaça	S2
Ordenes, retículos y álgebras de Boole	M, J: 10-11:30	13 de septiembre	Raval	410
Teoría básica de conjuntos	M, J: 12-13:30	18 de septiembre	Plaça	S2
SEMESTRE 2 (Invierno-Primavera 2019) Período de clases: de febrero de 2019 a junio de 2019
El desarrollo de la lógica formal	X, V: 12:30-14	13 de febrero	Raval	402
Lógica algebraica	M, J: 16-18	12 de marzo	Raval	412
Lógica matemática	M, J: 12-13:30	12 de febrero	Plaça	S2
Lógica modal	L: 12:30-14 V: 10-11:30	11 de febrero	Raval	402
Teoría básica de modelos	L, X: 9-11	11 de marzo	Nord	A6-104
Teoría de conjuntos combinatoria	M, J: 10:30-12	12 de febrero	Plaça	S2
Complejidad	L, J: 12-14	11 de febrero	Nord	A6-104
SEMESTRE 3 (Otoño-Invierno 2019-2020) Período de clases: de septiembre de 2019 a enero de 2020
Lógica algebraica abstracta	M, J: 12:15-13:45	17 de septiembre	Raval	409
Lógicas multivaloradas	L: 10:30-12 X: 8-9:30	18 de septiembre	Plaça	S2
Modelos de la teoría de conjuntos	M, J: 10:30-12	12 de septiembre	Plaça	S2
Teoría avanzada de modelos	L: 9-10:30 V: 11:30-13	13 de septiembre	Plaça	S2
Teoría de la demostración y demostración automática
DesdeDesde el 16 de septiembre hasta el 30 de octubre	L: 12-13:30 X: 11-12:30	16 de septiembre	Plaça	S2
DesdeDesde el 5 de octubre en adelante	M: 9-10 X: 11-13	5 de octubre	Raval	409
SEMESTRE 4 (Invierno-Primavera 2020) Período de clases: de febrero de 2020 a junio de 2020
Complejidad	L, J: 12-14		Nord

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)