|
CALENDARIO Y HORARIOS DE CLASES
Asignatura |
Horario |
Fecha de inicio
de las clases |
Campus |
Aula |
 |
SEMESTRE 1 (Otoño-Invierno 2016-2017)
Período de clases: de septiembre del 2016 a enero del 2017 |
Álgebra universal |
M, J: 16-17:30 |
20 de septiembre |
Plaça |
S2 |
Calculabilidad |
L, X: 11-12:30 |
12 de septiembre |
Nord |
A6101 |
Introducción a la lógica matemática |
L, X: 12:30-14 |
12 de septiembre |
Nord |
A6101 |
Lógicas no clásicas |
L, X: 8:30-10 |
19 de septiembre |
Plaça |
B2 |
Ordenes, retículos y álgebras de Boole |
M, J: 10-11:30 |
20 de septiembre |
Raval |
411 |
Teoría básica de conjuntos |
M, J: 12-13:30 |
15 de septiembre |
Plaça |
B7 |
 |
 |
SEMESTRE 2 (Invierno-Primavera 2017)
Período de clases: de febrero del 2017 a junio del 2017 |
El desarrollo de la lógica formal |
L: 9:30-10:30
X: 9:30-11:30 |
13 de febrero |
Raval |
411 |
Lógica algebraica |
M, J: 16-18 |
14 de febrero |
Raval |
409 |
Lógica matemática |
M, J: 12:30-14 |
14 de febrero |
Plaça |
S2 |
Lógica modal |
M, X: 18:30-20 |
14 de febrero |
Raval |
409 |
Teoría básica de modelos |
L, X: 12:30-14 |
13 de febrero |
Nord |
A6104 |
Teoría de conjuntos combinatoria |
M, J: 10:30-12 |
14 de febrero |
Plaça |
S2 |
Complejidad |
L, V: 12-14 |
13 de febrero |
Nord |
A6101 |
 |
 |
SEMESTRE 3 (Otoño-Invierno 2017/2018)
Período de clases: de septiembre de 2016 a enero de 2017 |
Lógica algebraica abstracta |
M, J: 12:30-14 |
19 de septiembre |
Raval |
412 |
Lógicas multivaloradas |
L, X: 10-11:30 |
14 de septiembre |
Plaça |
S1 |
Modelos de la teoría de conjuntos |
L, X: 12-13:30 |
13 de septiembre |
Plaça |
S1 |
Teoría avanzada de modelos |
M: 9-11
J: 9-10 |
12 de septiembre |
Plaça |
S2 |
Teoría de la demostración y demostración automática |
M, J: 11-12:30 |
19 de septiembre |
Raval |
402 |
 |
 |
SEMESTRE 4 (Invierno-Primavera 2018)
Período de clases: de febrero de 2018 a junio de 2018 |
Complejidad |
M, J: 8-10 |
|
Nord |
A5203 |
|
|
|
|
|
|
|
|
|
|
 |
 |
|
L: |
Lunes |
|
M: |
Martes |
|
X: |
Miércoles |
|
J: |
Jueves |
|
V: |
Viernes |
|
|
Nord: |
Campus norte de la Universidad Politécnica de Catalunya |
Edificio Omega: |
Campus norte de la Universidad Politécnica de Catalunya (mapa; foto) |
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) |
|
|
|