| |
CALENDARIO Y HORARIOS DE CLASES
¿ Cuándo empiezan las clases ?
| Asignatura |
Horario |
Campus |
Aula |
 |
SEMESTRE 1 (Otoño-Invierno 2006-2007)
Período de clases: de septiembre del 2006 a enero del 2007 |
| Álgebra abstracta |
L,X: 17–18, M,J: 15–17 |
Plaça |
B6 |
| Álgebra básica |
L,X,V: 10–11 |
Nord |
001 |
| Álgebra universal |
M,J: 9–10:30 |
Plaça |
S2 |
| Historia de las matemáticas |
M:11–13 , X:10–11, V:10–12 |
Plaça |
B2,B4 |
| Introducción a la lógica matemática |
X: 8–10 , J:10–12 |
Sud |
003 |
| Lógicas no clàsicas |
L,X: 10:30–12 |
Plaça |
S2 |
| Orden, retículos y álgebras de Boole |
M,J: 15:30–17 |
Raval |
A-402 |
| Teoría básica de conjuntos |
M,J: 12:30–14 |
Raval |
A-402 |
 |
 |
SEMESTRE 2 (Invierno-Primavera 2007)
Período de clases: de febrero del 2007 a junio del 2007 |
| Álgebra abstracta |
M: 11–13 , X,V: 10–12 |
Plaça |
T1 |
| Calculabilidad |
L: 10–12 , X: 8–10 |
Sud |
004 |
| Lógica algebraica |
L,X: 15:30–17 |
Plaça |
S2 |
| Lógica matemática |
L: 12:30–14 , V: 9:30–11 |
Raval |
A-408 |
| Teoría básica de modelos |
M,J: 15–17 |
Sud |
S01 |
| Teoría combinatoria de conjuntos |
M,J: 10–11:30 |
Plaça |
B2 |
 |
 |
SEMESTRE 3 (Otoño-Invierno 2007-2008)
Período de clases: de septiembre de 2007 a enero de 2008 |
| Complejidad |
M,V: 11–14 |
Nord |
A6002 |
| Filosofía de la matemática |
M: 16–18 |
Raval |
412 |
| Lógica algebraica abstracta |
L,J: 16–17:30 |
Plaça |
L:S3 , J:S2 |
| Lógica modal |
M 18–19:30 , J: 16–17:30 |
Raval |
412 |
| Lógicas subestructurales y lingüística computacional |
X: 12–14 , J: 15–17 |
Nord |
A1204 |
| Modelos de la teoría de conjuntos |
M,V: 12–14 |
Raval |
412 |
| Teoría avanzada de modelos |
M,J: 12–13:30 |
Raval |
411 |
 |
 |
SEMESTRE 4 (Invierno-Primavera 2008)
Período de clases: de febrero de 2008 a junio de 2008 |
| Demostración automática |
M,J: 11:30–13 |
Plaça |
|
| El desarrollo de la lógica formal |
X,J: 10–11 |
Raval |
|
| Lógica categorial |
|
|
|
| Lógicas e inteligencia artificial |
|
UAB |
|
| Lógicas multivaloradas |
L,J: 16–17:30 |
Plaça |
S1 |
Teoría de la demostración |
|
|
|
 |
 |
| |
L: | Lunes |
| |
M: | Martes |
| |
X: | Miércoles |
| |
J: | Jueves |
| |
V: | Viernes |
|
|
| Nord: |
Campus norte de la Universidad Politécnica de Catalunya |
| Plaça: |
Universidad de Barcelona, Facultad de Matemáticas, Plaza de la Universidad |
| Raval: |
Universidad de Barcelona, Facultades de Filosofía, Geografía e Historia, c. de Montalegre, 6 |
| Sud: |
Campus sur de la Universidad Politécnica de Catalunya, Facultad de Matemáticas y Estadística, c. Pau Gargallo, 5 (edificio U) |
| UAB: |
Campus de la Universidad Autónoma de Barcelona, Bellaterra (Edificio sin determinar) |
|
|
|