Current list of courses

* 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
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach
Mathematik für Informatiker 2 (4+2), Eickmeyer
Specialisation (en): tba (2+1), Hatzel
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) (2+1), Otto
Seminar (en): Proof Theory (MSc+BSc), Kohlenbach
Graph Theory (4+2), Eickmeyer
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Schweitzer
Lineare Algebra für Physik und Lehramt 2 (2+1), Eickmeyer
Specialisation (en) (4+2), Otto
Specialisation (en): Computational Complexity (4+2), Schweitzer
Seminar, Schweitzer
Lineare Algebra 1 (de), (4+2), Eickmeyer
Introduction to Mathematical Logic (4+2), Kohlenbach
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Mathematik für Chemiker (4+2), Eickmeyer
Höhere Mathematik I (3+2), Eickmeyer
Specialisation (en) (4+2), Schweitzer
Seminar: Proof Theory (MSc+BSc), Kohlenbach
Proseminar, Eickmeyer
Lineare Algebra 2 (de), (4+2), Eickmeyer
Logik und Grundlagen (2+1), Schweitzer
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Höhere Mathematik II (2+1), Eickmeyer
Specialisation (en): Applied Proof Theory (4+2), Kohlenbach
Specialisation (en): Computational Complexity (4+2), Eickmeyer
Introduction to Mathematical Logic (4+2), Kohlenbach
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), NN
Mathematik für Chemiker (4+2), Eickmeyer
Specialisation (en): Applied Proof Theory (4+2), Kohlenbach