CALENDARI I HORARIS DE CLASSES

Assignatura	Horari	Data d'inici de les classes	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2022-2023) Període de classes: de setembre de 2022 a gener de 2023
Àlgebra universal
Calculabilitat
Introducció a la lògica matemàtica
Lògiques no clàsssiques
Ordres, reticles y àlgebres de Boole
Teoria bàsica de conjunts
SEMESTRE 2 (Hivern-Primavera 2023) Període de classes: de febrer de 2023 a juny de 2023
Lògica algebraica
Lògica matemàtica
Lògica modal
Teoria bàsica de models
Teoria de conjunts combinatoria
Complexitat
SEMESTRE 3 (Tardor-Hivern 2023-2024) Període de classes: de setembre de 2023 a febrer de 2024 Avaluació continuada: de setembre de 2023 a febrer de 2024 Avaluació única: de gener de 2024 a febrer de 2024 Reavaluació: de febrer de 2024 a febrer de 2024
Algoritmes per a VLSI	X: 8-10 V: 12-14	Setembre 13	Nord	A6201
El desenvolupament de la lògica formal	M, J: 15-16:30	Setembre 19	Raval	402
Lògica algebraica abstracta	M, J: 16:30-18	Setembre 12	Raval	401
Lògiques multivalorades	L: 10:30-12 J: 9,30-11	Setembre 14	Plaça	L: T2 J: S1
Models de la teoria de conjunts	M: 12-13:30	Setembre 12	Plaça	B2
Teoria avançada de models	L: 12-14 J: 11-12	Setembre 19	Plaça	L: B2 J: IA
Teoria de la demostració i demostració automàtica	M: 11-12 X: 12-14	Setembre 20	Plaça	B1
Teoria de la prova	X: 15-17 V: 10:30-11:30	Setembre 20	Raval	411
SEMESTRE 4 (Hivern-Primavera 2024) Període de classes: de febrer de 2024 a juny de 2024
Complexitat

L:  Dilluns    M:  Dimarts    X:  Dimecres    J:  Dijous    V:  Divendres

Nord:  Campus nord de la Universitat Politècnica de Catalunya Edifici Omega: Campus Nord de la Universitat Politècnica de Catalunya (mapa; foto) Plaça:  Universitat de Barcelona, Facultat de Matemàtiques, Plaça de la Universitat Raval:  Universitat de Barcelona, Facultats de Filosofia, Geografia i Història, c. de Montalegre, 6 Sud:  Campus Sud de la Universitat Politècnica de Catalunya, Facultat de Matemàtiques i Estadística, c. Pau Gargallo, 5 (Edifici U) UAB:  Campus de la Universitat Autònoma de Barcelona, Bellaterra (Edifici a determinar)