CALENDARI I HORARIS DE CLASSES

Assignatura	Horari	Data d'inici de les classes	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2010-2011) Període de classes: de setembre de 2010 a gener de 2011
Àlgebra universal	M, J: 9-10:30	14 de setembre	Plaça	S1
Calculabilitat	L, X: 10-11:30	20 de setembre	campus Nord
Introducció a la lògica matemàtica	L, X: 12-13:30	15 de setembre	campus Nord
Lògiques no clàssiques	M, J: 16:30-18	28 de setembre	Plaça	S1
Ordres, reticles i àlgebres de Boole	L, X: 16-17:30	20 de setembre	Raval	411
Teoria bàsica de conjunts	M, J: 11:30-13	16 de setembre	Raval	410
SEMESTRE 2 (Hivern-Primavera 2011) Període de classes: de febrer de 2011 a juny de 2011
El desenvolupament de la lògica formal	L: 11:30-13:30		Raval	410
Lògica algebraica	X, V: 12-13,30		Plaça	S1
Lògica matemàtica	M, J: 9:30-11		Raval	410
Teoria bàsica de models	M, J: 12-13:30
Teoria de conjunts combinatòria	L, X: 9:30-11		Raval	410
SEMESTRE 3 (Tardor-Hivern 2011/2012) Període de classes: de setembre/octubre de 2011 a gener/febrer de 2012
Complexitat	M, J: 9-11	20 de setembre	campus Nord, Facultat de Matemàtiques i Estadística (FME), UPC	100
Demostració automàtica	M, J: 12-13:30	20 de setembre	Plaça	S2
Filosofia de la matemàtica	M: 11:30-13:30	20 de setembre	Raval	412
Lògica algebraica abstracta	L: 13-14; X: 12-14	26 de setembre	Plaça	T2
Lògica modal	J: 17:30-19; V:12:30-14	22 de setembre	Raval	Aula 412
Lògiques multivalorades	L, X: 16-18	19 de setembre	Plaça	B2
Lògiques subestructurals i lingüística computacional	J: 11-12; V: 10-11:45	22 de setembre	campus Nord	D6004
Models de la teoria de conjunts	L, X: 10-11:30	19 de setembre	Raval	412
Teoria avançada de models	M, J: 9:30-11	13 de setembre	Raval	411
SEMESTRE 4 (Hivern-Primavera 2012) Període de classes: de febrer de 2012 a juny de 2012
El desenvolupament de la lògica formal
Lògica categorial
Lògiques i intel·ligència artificial
Teoria de la demostració

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

Nord:  Campus Nord de la Universitat Politècnica de Catalunya 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)