| |
CALENDAR AND SCHEDULES OF THE COURSES
| Course |
Time |
Beginning of the course |
Campus |
Room |
 |
SEMESTER 1 (Autumn-Winter
2020-2021)
Classes from September 2020 to January 2021 |
| Computability |
M, J: 9-10:30 |
September 22 |
Nord |
A5 206 |
| Basic Set Theory |
M, J: 12-13:30 |
September 22 |
Plaça |
S2 |
| Introduction to Mathematical Logic |
X, V: 9-10:30 |
September 23 |
Nord |
A5 206 |
| Non-Classical Logics |
L, X: 12:13:30 |
September 21 |
Plaça |
S2 |
| Orders, Lattices and Boolean Algebras |
L: 10-11:30, V: 12-13:30 |
September 21 |
Raval |
410 |
| Universal Algebra |
L, X: 16-17:30 |
September 22 |
Plaça |
S2 |
|
|
SEMESTER 2 (Winter-Spring
2021)
Classes from February 2021 to June 2021 |
| Algebraic Logic |
M, J: 15:30-17 |
|
Raval |
|
| Basic Model Theory |
M, X: 9-10:30 |
|
Nord |
|
| Combinatorial Set Theory |
M, J: 10:30-12 |
|
Plaça |
S2 |
| Mathematical Logic |
M, J: 12-13:30 |
|
Plaça |
S2 |
| Modal Logic |
X: 11:30-12:30, V: 9-11 |
|
Raval |
|
| The Development of Formal Logic |
L, X: 15:30-17 |
|
Raval |
|
| Complexity |
|
|
Nord |
|
|
|
SEMESTER 3 (Autumn-Winter 2021-2022)
Classes from September 13, 2021, to February 4, 2022
Continuous assessment: from September 13, 2021 to February 4, 2022
One-time assessment: from January 10, 2022, to February 4, 2022
Reassessment: February 7 to February 15, 2022 |
| Abstract Algebraic Logic |
M, J: 15:30-17 |
|
Raval |
406 |
| Advanced Model Theory |
L: 9-10:30,
V: 12-13:30 |
|
Plaça |
Room IF (next to room B5) |
| Many-Valued Logics |
L: 11-12,
J: 9:00-11:00 |
|
Plaça |
Room IF (next to room B5) |
| Models of Set Theory |
M, J: 11:30-13 |
|
Plaça |
Room IF (next to room B5) |
| Proof Theory and Automated Theorem Proving |
M: 10:15-11:15,
X: 10:30-12:30 |
|
Raval |
409 |
|
|
SEMESTER 4 (Winter-Spring 2022)
Classes from February 2022 to June 2022 |
| Complexity |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
| |
L: |
Monday |
(Lunes) |
| |
M: |
Tuesday |
(Martes) |
| |
X: |
Wednesday |
(Miércoles) |
| |
J: |
Thursday |
(Jueves) |
| |
V: |
Friday |
(Viernes) |
|
|
| Nord: |
North campus of the Technical University of Catalonia, UPC |
| Omega building: |
North campus of the Technical University of Catalonia, UPC
(map; photo) |
| Plaça: |
University of Barcelona, Faculty of Mathematics, Plaça de la Universitat |
| Raval: |
University of Barcelona, Faculties of Philosophy, Geography and History, c. de Montalegre, 6 |
| Sud: |
South campus of the Technical University of Catalonia, Faculty of Mathematics and Statistics, c. Pau Gargallo, 5 (building U) |
| UAB: |
Campus of the Autonomous University of Barcelona, Bellaterra (Building to be determined) |
|
|
|
ub.edu