Current list of courses

Analysis 2 (en) (4+2), Kohlenbach

Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer

Specialisation (en): Computational Complexity (4+2), Eickmeyer

Specialisation (en): Basic Applied Proof Theory (2+1), Kohlenbach

Specialisation (en): Logics of Knowledge and Information (4+2), Otto

Seminar (en): Decidability and Undecidability in Logic, Otto

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), NN

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