| |
CALENDARIO Y HORARIOS DE CLASES
¿ Cuándo empiezan las clases ?
| Asignatura |
Horario |
Campus |
Aula |
 |
SEMESTRE 1 (Otoño-Invierno 2008-2009)
Período de clases: de septiembre del 2008 a enero del 2009 |
| Álgebra abstracta |
X, V: 10:10-11 // M: 12:10-13 |
Plaça |
B6 |
| Álgebra básica |
|
Nord |
|
| Álgebra universal |
L, M: 9–10:30 |
Plaça |
B2 |
| Introducción a la lógica matemática |
L, J: 12–14 |
Sud |
103 |
| Lógicas no clàsicas |
L, J: 16–17:30 |
Plaça |
L:S3, J:S1 |
| Orden, retículos y álgebras de Boole |
M, X: 16–17:30 |
Raval |
411 |
| Teoría básica de conjuntos |
M: 12–14, J: 9-10 |
Raval |
410 |
 |
 |
SEMESTRE 2 (Invierno-Primavera 2009)
Período de clases: de febrero del 2009 a junio del 2009 |
| Álgebra abstracta |
|
Plaça |
|
| Calculabilidad |
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 |
| Teoría básica de modelos |
L: 15-17, V: 10-12 |
Sud |
103 |
| Teoría combinatoria de conjuntos |
M, J: 12:30–14 |
Raval |
410 |
 |
 |
SEMESTRE 3 (Otoño-Invierno 2009-2010)
Período de clases: de septiembre de 2009 a enero de 2010 |
| Complejidad |
|
Nord |
|
| Filosofía de la matemática |
J: 12–14 |
Raval |
410 |
| Lógica modal |
M, J: 16–17:30 |
Raval |
410 |
| Lógicas multivaloradas |
L, X: 16:30–18 |
Plaça |
S3 |
| Lógicas subestructurales y lingüística computacional |
|
Nord |
|
| Modelos de la teoría de conjuntos |
L, X: 10–11:30 |
Raval |
410 |
| Teoría avanzada de modelos |
M: 11–13, J: 11–12 |
Raval |
410 |
 |
 |
SEMESTRE 4 (Invierno-Primavera 2010)
Período de clases: de febrero de 2010 a junio de 2010 |
| Demostración automática |
|
Plaça |
|
| El desarrollo de la lógica formal |
|
Raval |
|
| Lógica algebraica abstracta |
L, X: 10:30–12 |
Plaça |
|
| Lógica categorial |
|
|
|
| Lógicas e inteligencia artificial |
|
UAB |
|
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) |
|
|
|