The basic education consists in the following courses. They are offered in collaboration with the chair of pure mathematics.
|Computational Complexity Theory||4V+2Ü||Winter|
|Advanced Model Theory||2V+2Ü||Summer|
Additionally, the following introductory course is offered regularly in collaboration with the chair of symbolic computation:
There are two possible focus directions. The complexity theoretic direction is carried by the chair of mathematical logic. Frequently offered courses are:
|Advanced Complexity Theory||2V+2Ü|
|Advanced Set Theory||2V+2Ü|
|Constraint Satisfaction Problems||2V+2Ü|
The geometric direction is carried by the chair of pure mathematics. Frequently offered courses are:
|Real Algebraic Geometry||4V+2Ü|
A jointly organized event of both chairs is the
|Seminar on Pure Mathematics|
where members and guests of both chairs give research talks and master students report progress on the work on their theses.
Hints for students
It is possible to study mathematics in close association to the chair of mathematical logic. This means regular meetings, intensive personal supervision, and, on demand, possible employment as student assistant.
For interested students it is strongly recomended to take the course Mathematical Logic already during the Bachelor studies, and deepen their understanding by writing a Bachelor Thesis. This allows to start the master program with Model Theory and Computational Complexity Theory. A Master Thesis in mathematical logic requires a large amount of self study of texts beyond the reach of the courses. Interested students should contact the chair within the first year of their master studies.