CALENDARI I HORARIS DE CLASSES

Assignatura	Horari	Data d'inici de les classes	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2018-2019) Període de classes: de setembre de 2018 a gener de 2019
Àlgebra universal	L, X: 16-17:30	13 de setembre	Plaça	S1
Calculabilitat	L, X: 11-12:30	19 de setembre	Nord	A6-206
Introducció a la lògica matemàtica	L: 12:30-14 X: 9:30-11	12 de setembre	Nord	A6-206
Lògiques no clàsssiques	M, J: 8-9:30	13 de setembre	Plaça	S2
Ordres, reticles y àlgebres de Boole	M, J: 10-11:30	13 de setembre	Raval	410
Teoria bàsica de conjunts	M, J: 12-13:30	18 de setembre	Plaça	S2
SEMESTRE 2 (Hivern-Primavera 2019) Període de classes: de febrer de 2019 a juny de 2019
El desenvolupament de la lògica formal	X, V: 12:30-14	13 de febrer	Raval	402
Lògica algebraica	M, J: 16-18	12 de març	Raval	412
Lògica matemàtica	M, J: 12-13:30	12 de febrer	Plaça	S2
Lògica modal	L: 12:30-14 V: 10-11:30	11 de febrer	Raval	402
Teoria bàsica de models	L, X: 9-11	11 de març	Nord	A6-104
Teoria de conjunts combinatoria	M, J: 10:30-12	12 de febrer	Plaça	S2
Complexitat	L, J: 12-14	11 de febrer	Nord	A6-104
SEMESTRE 3 (Tardor-Hivern 2019-2020) Període de classes: de setembre/octubre de 2019 a gener/febrer de 2020
Lògica algebraica abstracta	M, J: 12:15-13:45	17 de setembre	Raval	409
Lògiques multivalorades	L: 10:30-12 X: 8-9:30	18 de setembre	Plaça	S2
Models de la teoria de conjunts	M, J: 10:30-12	12 de setembre	Plaça	S2
Teoria avançada de models	L: 9-10:30 V: 11:30-13	13 de setembre	Plaça	S2
Teoria de la demostració i demostració automàtica
DesdeDes del 16 de setembre fins el 30 d'octubre	L: 12-13:30 X: 11-12:30	16 de setembre	Plaça	S2
DesdeDes del 5 d'octubre en endevant	M: 9-10 X: 11-13	5 d'octubre	Raval	409
SEMESTRE 4 (Hivern-Primavera 2020) Període de classes: de febrer de 2020 a juny de 2020
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)