The following courses are regularly offered, every 2nd or 3rd semester.
| Title | Period |
|---|---|
| Mathematical Logic | 4V+2Ü |
| Computational Complexity Theory | 4V+2Ü |
| Model Theory | 4V+2Ü |
| Computational Logic | 4V+2Ü |
Both Mathematical Logic and Computational Logic are introductory courses tailored for students of mathematics and informatics respectively. These courses are offered both on the Bachelor and Master level. Model Theory requires some basic knowledge of logic but should be accessible to everybody with only a moderate amount of extra work. Computational Complexity Theory does not require knowledge in logic.
From time to time the following advanced courses are offered
| Title | Period |
|---|---|
| Advanced Complexity Theory | 2V+2Ü |
| Advanced Model Theory | 2V+2Ü |
Every semester has the
Advanced seminar Logic and Geometry
where members of the chairs, their guests as well as advanced students give talks.
There are two possible focus directions: the complexity theoretic one with Moritz Müller and the geometric one with Tobias Kaiser. For the the latter, there are the following courses:
| Title | Period |
|---|---|
| Real Algebraic Geometry | 4V+2Ü |
| Real Algebra | 4V+2Ü |
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 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.
