CALENDARI I HORARIS DE CLASSES

Assignatura	Horari	Data d'inici de les classes	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2012-2013) Període de classes: de setembre de 2012 a gener de 2013
Àlgebra universal	L, X: 16-17:30	26 de setembre	Plaça	IF (pati de ciències, planta baixa, a prop de B5)
Calculabilitat	M, J: 10-11:30	18 de setembre	campus Nord	S215, planta S2 (soterrani 2), edifici Omega
Introducció a la lògica matemàtica	M, J: 11:30-13	18 de setembre	campus Nord	S215, planta S2 (soterrani 2), edifici Omega
Lògiques no clàsssiques	M, J: 16:30-18	18 de setembre	Plaça	S2
Ordres, reticles y àlgebres de Boole	L: 9-10:15 X: 8:45-10	26 de setembre	Plaça
Teoria bàsica de conjunts	M, J: 15-16:30	18 de setembre	Raval	Aula 410
SEMESTRE 2 (Hivern-Primavera 2013) Període de classes: de febrer de 2013 a juny de 2013
El desenvolupament de la lògica formal	X, V: 12-13:30	13 de febrer	Raval	Aula 410
Lògica algebraica	M: 17-19, X: 17-18	12 de febrer	Raval	Aula 410
Lògica matemàtica	M, J: 9:30-11	12 de febrer	Raval	Aula 411
Teoria bàsica de models	M, J: 12-13:30	12 de febrer	campus Nord
Teoria de conjunts combinatoria	L, X: 10-11:30	11 de febrer	Raval	Aula 412
Teoria de de la demostració i demostració automàtica	X: 18-19:30 V: 9-10:30	11 de febrer	Raval	Aula 412
SEMESTRE 3 (Tardor-Hivern 2013/2014) Període de classes: de setembre/octubre de 2013 a gener/febrer de 2014
Lògica modal	X: 16-17:30, V: 9-10:30	18 de setembre	Raval	Aula 411
Lògiques multivalorades	M, J: 16-17:30	17 de setembre	Plaça	Aula S2
Models de la teoria de conjunts	L, X: 10-11:30	16 de setembre	Raval	Aula 411
Teoria avançada de models	M, J: 9-10:30	17 de setembre	Raval	Aula 411
SEMESTRE 4 (Hivern-Primavera 2014) Període de classes: de febrer de 2014 a juny de 2014
Lògica algebraica abstracta	M, J: 12-13:30		Raval	Aula 411
Complexitat	TBA		TBA	TBA

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)