Teaching Programme


The curriculum represents mathematical logic as a foundational discipline with particular emphasis on applications of logical methods in mathematics and computer science. This site describes the structure of our teaching programme. For your schedule please see our current list of courses.


The course 'Introduction to Mathematical Logic' serves as a comprehensive introduction. This is the canonical entry point for anyone interested in the field. This course is typically offered every winter term:

  Introducution to Mathematical Logic
(Einführung in die mathematische Logik)
4+2 [Qualifizierungsmodul/Bachelor]

For general interest in logics and introducing particular advanced subjects we additionally refer to the following introductive courses/Bachelor:

  Logic and Foundations
(Logik und Grundlagen)
2 resp. 2+1
  Formale Grundlagen der Informatik
(Mathematical Foundations of CS)
  Computational Complexity


An in-depth specialisation track in logic (Vertiefungszyklus Logik) in the Master programme comprises a choice of modules from the following courses, most of which can also be taken individually as special courses (Spezialmodule/mathematische Ergänzung). The standard choice for a specialisation track in logic would consist of 1x(4+2) or 2x(2+1) units each from two out of the following four areas (I – IV). Other combinations may be admissible after consultation.

(I) Proof Theory and Computability Theory

(II) Model Theory and Complexity

(III) Constructive und Categorical Logic

(IV) Foundations of Functional Programming