CALENDARI I HORARIS DE CLASSES

Assignatura	Horari	Data d'inici de les classes	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2020-2021) Període de classes: de setembre de 2020 a gener de 2021
Àlgebra universal	L, X: 16-17:30	22 de setembre	Plaça	S2
Calculabilitat	M, J: 9-10:30	22 de setembre	Nord	A5 206
Introducció a la lògica matemàtica	X, V: 9-10:30	23 de setembre	Nord	A5 206
Lògiques no clàsssiques	L, X: 12:13:30	21 de setembre	Plaça	S2
Ordres, reticles y àlgebres de Boole	L: 10-11:30, V: 12-13:30	21 de setembre	Raval	410
Teoria bàsica de conjunts	M, J: 12-13:30	22 de setembre	Plaça	S2
SEMESTRE 2 (Hivern-Primavera 2021) Període de classes: de febrer de 2021 a juny de 2021
El desenvolupament 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
Teoria bàsica de models	M, X: 9-10:30		Nord
Teoria de conjunts combinatoria	M, J: 10:30-12		Plaça	S2
Complexitat			Nord
SEMESTRE 3 (Tardor-Hivern 2021-2022) Període de classes: del 13 de setembre de 2021 al 4 de febrer de 2022 Avaluació continuada: del 13 de setembre de 2021 al 4 de febrer de 2022 Avaluació única: del 10 de gener de 2022 al 4 de febrer de 2022 Reavaluació: 7 de febrer de 2022 al 15 de febrer de 2022
Lògica algebraica abstracta	M, J: 15:30-17		Raval	406
Lògiques multivalorades	L: 11-12, J: 9:00-11:00		Plaça	Room IF (next to room B5)
Models de la teoria de conjunts	M, J: 11:30-13		Plaça	Room IF (next to room B5)
Teoria avançada de models	L: 9-10:30, V: 12-13:30		Plaça	Room IF (next to room B5)
Teoria de la demostració i demostració automàtica	M: 10:15-11:15, X: 10:30-12:30	22 de setembre	Raval	409
SEMESTRE 4 (Hivern-Primavera 2022) Període de classes: de febrer de 2022 a juny de 2022
Complexitat	L, J: 12-14		Nord

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)