* preliminary planning
| Linear Algebra 1 (en) (4+2), Otto |
| Introduction to Mathematical Logic (4+2), Eickmeyer |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Eickmeyer |
| Specialisation (en): Directed Graph Structure Theory (2+1), Hatzel |
| Specialisation (en): Advanced Applied Proof Theory (2+1), Kohlenbach |
| Specialisation (en): Finite Model Theory (2+1), Otto |
| Specialisation (en): Algorithms and Symmetry (4+2), Schweitzer |
| Proseminar (en): Convex Analysis, Kohlenbach |
| Seminar: DAIS, Schweitzer |
| Linear Algebra 2 (en) (4+2), Otto |
| Logik und Grundlagen (2+1), Otto |
| Graph Classes and Parameters (2+1), Hatzel |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach |
| Mathematik für Informatiker 2 (4+2), Eickmeyer |
| Specialisation (en): Introduction to Computability Theory (2+1), Kohlenbach |
| Specialisation (en): Computational Group Theory (4+2), Schweitzer |
| Seminar: Proof Theory (MSc+BSc), Kohlenbach |
| Proseminar Extra (en), Otto |
| Introduction to Mathematical Logic (4+2), Otto |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Schweitzer |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Lineare Algebra für Physik und Lehramt 1 (2+1), Eickmeyer |
| Specialisation (en): Applied Proof Theory (4+2), Kohlenbach |
| Specialisation (en): Modal Logic (2+1), Otto |
| Project in Mathematics (MSc), Hatzel |
| Seminar (en): Proof Theory (MSc+BSc), Kohlenbach |
