Logic in Passau

Basic education

The basic education consists in the following courses. They are offered in collaboration with the chair of pure mathematics.

Mathematical Logic	4V+2Ü	Summer
Computational Complexity Theory	4V+2Ü	Winter
Model 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:

Computational Logic

4V+2Ü

Summer

Focus directions

There are two possible focus directions. The complexity theoretic direction is carried by the chair of mathematical logic. Frequently offered courses are:

Bounded Arithmetic	2V+2Ü
Proof Complexity	2V+2Ü
Set Theory	4V+2Ü
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Ü
Real Algebra	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.