Curriculum Mathematical Logic
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.