Teaching programme

Curriculum Mathematical Logic

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 .

Bachelor

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)
4+2
Computational Complexity
(Komplexitätstheorie)
4+2

Master

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.

Applied Proof Theory
(Angewandte Beweistheorie)
4+2 or 2x 2+1
Introduction to Computability Theory
(Einführung in die Berechenbarkeitstheorie)
2+1
Computable Analysis
(Berechenbare Analysis)
2+2
Incompleteness of Formal Systems
(Gödelsche Unvollständigkeitssätze)
2+1
Model Theory
(Modelltheorie)
4+2 or 2x 2+1
Finite Model Theory
(Endliche Modelltheorie)
2+1
Modal Logics
(Modallogiken)
2+1
Logic and Complexity
(Logik und Komplexität)
2+1
Advanced Complexity Theory
(Fortgeschrittene Komplexitätslehre)
2+1
Category Theory
(Kategorientheorie)
2+1
Categorical Logic
(Kategorielle Logik)
2+1
Constructive Logic
(Konstruktive Logik und Mathematik)
2+1
Realizability 2+1
Mathematical Foundations of Functional Programming
(Math. Grundl. der funktionalen Programmierung)
4+2 or 2x 2+1