| |
CALENDAR AND SCHEDULES OF THE COURSES
| Course |
Time |
Beginning of the course |
Campus |
Room |
 |
SEMESTER 1 (Autumn-Winter
2014-2015)
Classes from September 2014 to January 2015 |
| Computability |
M, J: 15,30-17 |
September 16th |
campus Nord |
A6103 |
| Basic Set Theory |
M, J: 12:30-14 |
September 16th |
Raval |
410 |
| Introduction to Mathematical Logic |
L: 12-13:30
V: 16-17:30 |
September 15th |
campus Nord |
A6-205 |
| Non-Classical Logics |
L, X: 8:30-10 |
September 22th |
Plaça |
IMUB |
| Orders, Lattices and Boolean Algebras |
M, J: 11-12:30 |
September 23th |
Raval |
410 |
| Universal Algebra |
L, X: 16-17:30 |
September 22th |
Plaça |
S1 |
|
|
SEMESTER 2 (Winter-Spring
2015)
Classes from February 2015 to June 2015 |
| Algebraic Logic |
L, X: 12-13:30 |
February 16 |
Plaça |
B7 |
| Basic Model Theory |
L, V: 16-17,30 |
February 9 |
campus Nord |
A5 203 |
| Combinatorial Set Theory |
L, X: 10-11:30 |
February 9 |
Raval |
410 |
| Mathematical Logic |
M, J: 9-10:30 |
February 10 |
Raval |
410 |
| Modal Logic |
X: 18-19:30
V: 12-13:30 |
February 18 |
Raval |
410 |
| The Development of Formal Logic |
M: 10:30-12,30
J: 10:30-11:30 |
February 10 |
Raval |
410 |
|
|
SEMESTER 3 (Autumn-Winter 2015-2016)
Classes from September 2015 to January 2016 |
| Abstract Algebraic Logic |
M: 12-13:30
J: 10:30-12 |
September 22 |
Raval |
411 |
| Advanced Model Theory |
L, X: 9-10:30 |
September 16 |
Plaça |
S2 |
| Many-Valued Logics |
L, X: 17-18:30 |
September 21 |
Plaça |
S2 |
| Proof Theory and Automated Theorem Proving |
X: 15-16:30
J: 12:30-14 |
September 16 |
Raval |
411 |
|
|
SEMESTER 4 (Winter-Spring 2016)
Classes from February 2016 to June 2016 |
| Models of Set Theory |
L, X: 10-11:30 |
February |
Raval |
412 |
| Complexity |
M, J: 8-10 |
February 6 |
campus Nord |
A5103 |
| |
|
|
|
|
| |
|
|
|
|
|
|
| |
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