|
CALENDARI I HORARIS DE CLASSES
Assignatura |
Horari |
Data d'inici
de les classes |
Campus |
Aula |
 |
SEMESTRE 1 (Tardor-Hivern 2014-2015)
Període de classes: de setembre de 2014 a gener de 2015 |
Àlgebra universal |
L, X: 16-17:30 |
22 de setembre |
Plaça |
S1 |
Calculabilitat |
M, J: 15,30-17 |
16 de setembre |
campus Nord |
A6103 |
Introducció a la lògica matemàtica |
L: 12-13:30
V: 16-17:30 |
15 de setembre |
campus Nord |
A6-205 |
Lògiques no clàsssiques |
L, X: 8:30-10 |
22 de setembre |
Plaça |
IMUB |
Ordres, reticles y àlgebres de Boole |
M, J: 11-12:30 |
23 de setembre |
Raval |
410 |
Teoria bàsica de conjunts |
M, J: 12:30-14 |
16 de setembre |
Raval |
410 |
 |
 |
SEMESTRE 2 (Hivern-Primavera 2015)
Període de classes: de febrer de 2015 a juny de 2015 |
El desenvolupament de la lògica formal |
M: 10:30-12,30
J: 10:30-11:30 |
10 de febrer |
Raval |
410 |
Lògica algebraica |
L, X: 12-13:30 |
16 de febrer |
Plaça |
B7 |
Lògica matemàtica |
M, J: 9-10:30 |
10 de febrer |
Raval |
410 |
Lògica modal |
X: 18-19:30
V: 12-13:30 |
18 de febrer |
Raval |
410 |
Teoria bàsica de models |
L, V: 16-17,30 |
9 de febrer |
campus Nord |
A5 203 |
Teoria de conjunts combinatoria |
L, X: 10-11:30 |
9 de febrer |
Raval |
410 |
 |
 |
SEMESTRE 3 (Tardor-Hivern 2015/2016)
Període de classes: de setembre/octubre de 2015 a gener/febrer de 2016 |
Lògica algebraica abstracta |
M: 12-13:30
J: 10:30-12 |
22 setembre |
Raval |
411 |
Lògiques multivalorades |
L, X: 17-18:30 |
21 setembre |
Plaça |
S2 |
Teoria avançada de models |
L, X: 9-10:30 |
16 septiembre |
Plaça |
S2 |
Teoria de la demostració i demostració automàtica |
X: 15-16:30
J: 12:30-14 |
16 septiembre |
Raval |
411 |
 |
 |
SEMESTRE 4 (Hivern-Primavera 2016)
Període de classes: de febrer de 2016 a juny de 2016 |
Models de la teoria de conjunts |
L, X: 10-11:30 |
febrer |
Raval |
412 |
Complexitat |
M, J: 8-10 |
febrer |
campus Nord |
A5103 |
|
|
|
|
|
|
|
|
|
|
 |
 |
|
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) |
|
|
|