CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2020-2021) Período de clases: de septiembre de 2020 a enero de 2021
Álgebra universal	L, X: 16-17:30	22 de septiembre	Plaça	S2
Calculabilidad	M, J: 9-10:30	22 de septiembre	Nord	A5 206
Introducción a la lógica matemática	X, V: 9-10:30	23 de septiembre	Nord	A5 206
Lógicas no clásicas	L, X: 12-13:30	21 de septiembre	Plaça	S2
Ordenes, retículos y álgebras de Boole	L: 10-11:30, V: 12-13:30	21 de septiembre	Raval	410
Teoría básica de conjuntos	M, J: 12-13:30	22 de septiembre	Plaça	S2
SEMESTRE 2 (Invierno-Primavera 2021) Período de clases: de febrero de 2021 a junio de 2021
El desarrollo de la lógica formal	L, X: 15:30-17		Raval
Lógica algebraica	M, J: 15:30-17		Raval
Lógica matemática	M, J: 12-13:30		Plaça	S2
Lógica modal	X: 11:30-12:30, V: 9-11		Raval
Teoría básica de modelos	M, X: 9-10:30		Nord
Teoría de conjuntos combinatoria	M, J: 10:30-12		Plaça	S2
Complejidad			Nord
SEMESTRE 3 (Otoño-Invierno 2021-2022) Período de clases: del 13 de septiembre de 2021 al 4 de febrero de 2022 Evaluación continua: del 13 de setembre de 2021 al 4 de febrer de 2022 Evaluación única: del 10 de gener de 2022 al 4 de febrer de 2022 Reevaluacin: 7 de febrer de 2022 al 15 de febrer de 2022
Lógica algebraica abstracta	M, J: 15:30-17		Raval	406
Lógicas multivaloradas	L: 11-12, J: 9:00-11:00		Plaça	Room IF (next to room B5)
Modelos de la teoría de conjuntos	M, J: 11:30-13		Plaça	Room IF (next to room B5)
Teoría avanzada de modelos	L: 9-10:30, V: 12-13:30		Plaça	Room IF (next to room B5)
Teoría de la demostración y demostración automática	M: 10:15-11:15, X: 10:30-12:30		Raval	409
SEMESTRE 4 (Invierno-Primavera 2022) Período de clases: de febrero de 2022 a junio de 2022
Complejidad

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)