| |
CALENDARI I HORARIS DE CLASSES
Quan comencen les classes ?
| Assignatura |
Horari |
Campus |
Aula |
 |
SEMESTRE 1 (Tardor-Hivern 2008-2009)
Període de classes: de setembre de 2008 a gener de 2009 |
| Àlgebra abstracta |
X, V: 10:10-11 // M: 12:10-13 |
Plaça |
B6 |
| Àlgebra bàsica |
|
Sud |
|
| Àlgebra universal |
L, M: 9–10:30 |
Plaça |
B2 |
| Introducció a la lògica matemàtica |
L, J: 12–14 |
Sud |
103 |
| Lògiques no clàssiques |
L, J: 16–17:30 |
Plaça |
L:S3, J:S1 |
| Ordre, reticles i àlgebres de Boole |
M, X: 16–17:30 |
Raval |
411 |
| Teoria bàsica de conjunts |
M: 12–14, J: 9-10 |
Raval |
410 |
 |
 |
SEMESTRE 2 (Hivern-Primavera 2009)
Període de classes: de febrer de 2009 a juny de 2009 |
| Àlgebra abstracta |
|
Plaça |
|
| Calculabilitat |
L, V: 12–14 |
Sud |
A005 |
| Lògica algebraica |
M, J: 15:30–17 |
Plaça |
S1 |
| Lògica matemàtica |
M, J: 11–12:30 |
Raval |
410 |
| Teoria bàsica de models |
L: 15–17, V: 10-12 |
Sud |
103 |
| Teoria combinatòria de conjunts |
M, J: 12:30–14 |
Raval |
410 |
 |
 |
SEMESTRE 3 (Tardor-Hivern 2009/2010)
Període de classes: de setembre/octubre de 2009 a gener/febrer de 2010 |
| Complexitat |
|
Nord |
|
| Filosofia de la matemàtica |
J: 12–14 |
Raval |
410 |
| Lògica modal |
M, J: 16–17:30 |
Raval |
410 |
| Lògiques multivalorades |
L, X: 16:30–18 |
Plaça |
S3 |
| Lògiques subestructurals i lingüística computacional |
|
Nord |
|
| Models de la teoria de conjunts |
L, X: 10–11:30 |
Raval |
410 |
| Teoria avançada de models |
M: 11–13, J: 11–12 |
Raval |
410 |
 |
 |
SEMESTRE 4 (Hivern-Primavera 2010)
Període de classes: de febrer de 2010 a juny de 2010 |
| Demostració automàtica |
|
Plaça |
|
| El desenvolupament de la lògica formal |
|
Raval |
|
| Lògica algebraica abstracta |
L, X: 10:30–12 |
Plaça |
|
| Lògica categorial |
|
|
|
| Lògiques i intel·ligència artificial |
|
UAB |
|
| 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) |
|
|
|