CALENDARI I HORARIS DE CLASSES

Quan comencen les classes ?
 

Assignatura	Horari	Campus	Aula
SEMESTRE 1 (Tardor-Hivern 2010-2011) Període de classes: de setembre de 2010 a gener de 2011
Àlgebra abstracta
Àlgebra bàsica
Àlgebra universal
Introducció a la lògica matemàtica
Lògiques no clàssiques
Ordre, reticles i àlgebres de Boole
Teoria bàsica de conjunts
SEMESTRE 2 (Hivern-Primavera 2011) Període de classes: de febrer de 2011 a juny de 2011
Àlgebra abstracta
Calculabilitat
Lògica algebraica
Lògica matemàtica
Teoria bàsica de models
Teoria combinatòria de conjunts
SEMESTRE 3 (Tardor-Hivern 2011/2012) Període de classes: de setembre/octubre de 2011 a gener/febrer de 2012
Complexitat
Filosofia de la matemàtica
Lògica algebraica abstracta
Lògica modal
Lògiques subestructurals i lingüística computacional
Models de la teoria de conjunts
Teoria avançada de models
SEMESTRE 4 (Hivern-Primavera 2012) Període de classes: de febrer de 2012 a juny de 2012
Demostració automàtica
El desenvolupament de la lògica formal
Lògica categorial
Lògiques i intel·ligència artificial
Lògiques multivalorades
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)