|
COURSES OFFERED
| Course title |
Lecturer(s) |
Semester (*) |
 |
| FUNDAMENTAL COURSES (COMPULSORY) |
| Basic Model Theory |
Farré |
|
2 |
|
|
|
| Basic Set Theory |
Jané |
1 |
|
|
|
|
| Computability |
Atserias |
1 |
|
|
|
|
| Mathematical Logic |
Casanovas |
|
2 |
|
|
|
| Non-Classical Logics |
Gispert |
1 |
|
|
|
|
|
|
| OPTIONAL COURSES |
| Abstract Algebraic Logic |
Font |
|
|
3 |
|
|
| Advanced Model Theory |
Casanovas |
|
|
3 |
|
|
| Algebraic Logic |
Font |
|
2 |
|
|
|
| Automated Theorem Proving |
Martínez |
|
|
|
4 |
|
| Combinatorial Set Theory |
Bagaria |
|
2 |
|
|
|
|
| Complexity |
|
|
|
3 |
|
|
| Introduction to Mathematical Logic |
Farré |
1 |
|
|
|
|
| Logics and Artificial Intelligence |
Esteva / Garcia |
|
|
3 |
4 |
? |
| Many-Valued Logics |
Gispert |
|
|
3 |
|
|
| Modal Logic |
Joosten / Bou |
|
|
3 |
|
|
| Models of Set Theory |
Bagaria |
|
|
3 |
|
|
| Order, Lattices and Boolean Algebras
|
Jansana |
1 |
|
|
|
|
| Philosophy of Mathematics |
Jané |
|
|
3 |
|
|
| Proof Theory |
|
|
|
3 |
4 |
? |
| Substructural Logics and Computational Linguistics |
Morryll |
|
|
3 |
|
|
| The Development of Formal Logic |
Badesa |
|
2 |
|
|
|
| Universal Algebra |
Torrens |
1 |
|
|
|
|
|
(*)
Please note that the list of optional courses and their distribution in semesters, in the case of semesters 3 and 4 in academic year 2011-2012, is subject to change.
|
ub.edu