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 (Einführung in die mathematische Logik) | 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 winter term.

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 | ||

Komplexitätstheorie (Complexity Theory) | 2+2 |

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) | ## Applied Proof Theory | |||

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

Recursion Theory (Rekursionstheorie) | 2+1 | |||

Computable Analysis (Berechenbare Analysis) | 2+2 | |||

Incompleteness of Formal Systems (Gödelsche Unvollständigkeitssätze) | 2+1 | |||

## (II) | ## Modeltheory 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 | |||

Advanced Complexity Theory (Fortschgeschrittene Komplexitätstheorie) | 2+1 | |||

## (III) | ## Construktive und 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 funktionalen Programmieung) | 4+2 or 2x (2+1) | |||

NB: Not all of these courses ar 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.

Many of the 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 first-year courses in mathematics, as well as in the basic theory track "Formal Foundations of Computer Science" for CS students.

'Elektronisches Veranstaltungssystem' Mathematics

General courses catalogue (TUCaN)

Office for Student Affairs ('Studienbüro')

Offices for Student Affairs at

other departments