CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2022-2023) Período de clases: de septiembre de 2022 a enero de 2023
Álgebra universal
Calculabilidad
Introducción a la lógica matemática
Lógicas no clásicas
Ordenes, retículos y álgebras de Boole
Teoría básica de conjuntos
SEMESTRE 2 (Invierno-Primavera 2023) Período de clases: de febrero de 2023 a junio de 2023
Lógica algebraica
Lógica matemática
Lógica modal
Teoría básica de modelos
Teoría de conjuntos combinatoria
Complejidad
SEMESTRE 3 (Otoño-Invierno 2023-2024) Período de clases: septiembre de 2023 a febrero de 2024 Evaluación continua: setembre de 2023 a febrero de 2024 Evaluación única: enero de 2024 a febrero de 2024 Reevaluación: febrero de 2024 a febrero de 2024
Algoritmos para VLSI	X: 8-10 V: 12-14	Septiembre 13	Nord	A6201
El desarrollo de la lógica formal	M, J: 15-16:30	Septiembre 19	Raval	402
Lógica algebraica abstracta	M, J: 16:30-18	Septiembre 12	Raval	401
Lógicas multivaloradas	L: 10:30-12 J: 9,30-11	Septiembre 14	Plaça	L: T2 J: S1
Modelos de la teoría de conjuntos	M: 12-13:30	Septiembre 12	Plaça	B2
Teoría avanzada de modelos	L: 12-14 J: 11-12	Septiembre 19	Plaça	L: B2 J: IA
Teoría de la demostración y demostración automática	M: 11-12 X: 12-14	Septiembre 20	Plaça	B1
Teoría de la prueba	X: 15-17 V: 10:30-11:30	Septiembre 20	Raval	411
SEMESTRE 4 (Invierno-Primavera 2024) 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)