The curriculum represents mathematical logic as a
foundational discipline with particular emphasis on
applications of logical methods in mathematics and
computer science.
The course

Einführung in die mathematische Logik
(Introduction to Mathematical Logic)


4+2 

[Qualifizierungsmodul/Bachelor] 
serves as a comprehensive introduction. This is
the canonical entry point for anyone interested in
the field. This course is typically offered every
summer.
Additional courses for Bachelor students in their 3rd year
(Wahlpflichtkurse) offered this winter term comprise
 Komplexitätstheorie I (2+1)
 Introduction to Game Theory (2+1)
An indepth 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) (click here for the current program).
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 (IIV).
Other combinations may be admissible after consultation.
(I) Applied Proof Theory

Proof Theory
(Beweistheorie)
 
4+2 or 2+1 

Recursion Theory
(Rekursionstheorie)
 
2+1 

Incompleteness of Formal Systems
(Gödelsche Unvollständigkeitssätze)
 
2+1 
(II) Model Theory and Complexity

Model Theory
(Modelltheorie)
 
4+2 or 2+1 

Finite Model Theory
(Endliche Modelltheorie)
 
2+1 

Modal Logics
(Modallogiken)
 
2+1 

Logic and Complexity
(Logik und Komplexität)
 
2+1 

Complexity Theory I
(Komplexitätstheorie I)
 
2+1 

Complexity Theory II
(Komplexitätstheorie II)
 
2+1 
(III) Constructive and Categorical Logic

Category Theory
(Kategorientheorie)
 
2+1 

Categorical Logic
(Kategorielle Logik)
 
2+1 

Constructive Logic
(Konstruktive Logik und Mathematik)
 
2+1 

Realizability
 
2+1 
(IV) Foundations of Functional Programming

Mathematical Foundations of Functional Programming
(Math. Grundl. der funkt. Programmierung)
 
4+2 or 2x(2+1) 
NB: Not all of these courses are on offer every year, some are
taught at irregular intervals. We generally ensure that enough
courses are offered to complete a specialisation track in logic
within any two year cycle (click here for the current program).
Many of these courses, including "Introduction to Mathematical Logic",
are regularly taught in English.
We regularly offer student seminars on related topics.
The logic group is also actively involved in the teaching of
firstyear courses in mathematics, as well as in the basic theory
track "Formal Foundations of Computer Science" for CS students.
