* preliminary planning
| Lineare Algebra 2 (de) (4+2), Eickmeyer |
| Höhere Mathematik II (2+1), Eickmeyer |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Schweitzer |
| Logik und Grundlagen (2+1), Otto |
| Graph Theory (4+2), Eickmeyer |
| Specialisation: Special Topics in Graph Theory (en) (2+1), Eickmeyer, Schweitzer |
| Specialisation: Computability Theory (en) (4+2), Kohlenbach |
| Specialisation: Model Theory (en) (2+1), Otto |
| Seminar (en) (2), Kohlenbach |
| Mathematik für Chemiker 1 (4+2), Eickmeyer |
| Analysis 1 (en) (4+2), Kohlenbach |
| Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer |
| Introduction to Mathematical Logic (4+2), Otto |
| Specialisation (en): Algorithmic Metatheorems (2+1), Eickmeyer |
| Specialisation (en): Proof Mining (2+1), Pinto |
| Proseminar (de/en), Eickmeyer |
| Seminar (en) (2), Kohlenbach |
| Seminar (en) (2), Otto |
