Previous semesters:
| Mathematik für Chemiker 1 (4+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Schweitzer |
| Introduction to Mathematical Logic (4+2), Eickmeyer |
| Specialisation (de/en): Math. Grundlagen d. Funktionalen Programmierung 2, (2+1), Streicher |
| Specialisation (en): Applied Proof Theory (4+2), Kohlenbach |
| Seminar (en) (2), Kohlenbach |
| Mathematik für Informatiker 2 (4+2), Streicher |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer |
| Lineare Algebra 2 (de) (4+2), Eickmeyer |
| Höhere Mathematik 2 (2+1), Eickmeyer |
| Specialisation (en): Algorithmic Group Theory (4+2), Schweitzer |
| Specialisation (en): Logics of Knowledge and Information (4+2), Otto |
| Specialisation (de/en): Math. Grundlagen d. Funktionalen Programmierung 1 (2+1), Streicher |
| Seminar (en) (2), Otto |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer |
| Lineare Algebra 1 (de), (4+2), Eickmeyer |
| Introduction to Mathematical Logic (4+2), Kohlenbach |
| Specialisation (en): Incompleteness of Formal Systems (2+1), Streicher |
| Specialisation (en): Algorithms and Symmetries (4+2), Schweitzer |
| Specialisation (en): Classical and Non-classical Model Theory (4+2), Otto |
| Specialisation (en): Selected Topics in Logic: Proof Mining (2+1), Pinto |
| Seminar (en): Proof Theory (2), Kohlenbach |
| Proseminar (de/en) (2), Eickmeyer |
| Mathematik für Informatiker 2 (4+2), Streicher |
| Höhere Mathematik 2, (2+1), Eickmeyer |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach |
| Linear Algebra 2 (en) (4+2), Otto |
| Lineare Algebra für das Lehramt 2, (2+1), Eickmeyer |
| Logik und Grundlagen (2+1), Otto |
| Specialisation (en): Computational Complexity (4+2), Eickmeyer |
| Specialisation (en) 1/2: Realizability (2+1), Streicher |
| Specialisation 1/2: Kombinatorik (2+1), Schweitzer |
| Specialisation 1/2 (en): Advanced Ordinal Analysis (2+1), Freund |
| Specialisation (en): Applied Proof Theory (4+2), Kohlenbach |
| Seminar (2), Freund |
| Seminar (2), Schweitzer |
| Proseminar extra (2), Otto |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Höhere Mathematik 1 (3+2), Eickmeyer |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach |
| Linear Algebra 1 engl. (4+2), Otto |
| Introduction to Computability Theory (2+1), Kohlenbach |
| Introduction to Mathematical Logic (4+2), Otto |
| B.Sc.; M.Sc. Specialisation 1/2: Graph Structure Theory and Algorithmic Metatheorems (2+1), Eickmeyer |
| Specialisation 1/2: Unprovability in Mathematics (2+1), Freund |
| Specialisation 1/2: Computability Theory (2+1), Kohlenbach |
| Specialisation: Algorithmic Group Theory (4+2 ), Schweitzer |
| Seminar: Proof Theory (2), Kohlenbach |
| Seminar: Classical Methods & Non-Classical Variations in Model Theory (2), Otto |
| Mathematik für Informatiker 2 (4+2), Eickmeyer |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto |
| B.Sc.; M.Sc. Specialisation: Graph Theory (4+2), Eickmeyer |
| Specialisation: Applied Proof Theory (4+2), Kohlenbach |
| Specialisation 1/2: Modal Logics (2+1), Otto |
| Specialisation: Algorithms and Symmetry (4+2), Schweitzer |
| Seminar (2), Kohlenbach |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto |
| Introduction to Mathematical Logic (4+2), Kohlenbach |
| Specialisation: Classical and non-classical model theory (4+2), Otto |
| Specialisation 1/2: Einführung in die Kategorientheorie (2+1), Streicher |
| Proseminar (2), Kohlenbach |
| Proseminar (2), Eickmeyer |
| Lineare Algebra II (deutsch, 4+2), Eickmeyer |
| Mathematik für Informatiker 2 (4+2), Streicher |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer |
| Logik und Grundlagen (2+1), Otto |
| Specialisation 1/2: Advanced Applied Proof Theory (2+1), Kohlenbach |
| Specialisation 1/2: Logics with Team Semantics (2+1), Otto |
| Specialisation 1/2: Homotopy Type Theory II (2+1), Capriotti |
| Seminar: Proof Theory (2), Kohlenbach |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Mathematik für Chemiker 1 (4+2), Eickmeyer |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer |
| Introduction to Mathematical Logic (4+2), Eickmeyer |
| Höhere Mathematik I (3+2), Eickmeyer |
| Basic Applied Proof Theory (2+1), Kohlenbach |
| Incompleteness (2+1), Streicher |
| Homotopy Type Theory I (2+1), Buchholtz |
| Proseminar: Constructive Analysis (2), Kohlenbach |
| Höhere Mathematik II (2+1), Eickmeyer |
| Mathematik für Informatiker 2 (4+2), Streicher |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer |
| Topologie (2+1), Capriotti |
| Specialisation: Higher Order Computability Theory (2+1), Powell |
| Specialisation: Model Theory (2+1), Otto |
| Specialisation: Mathematical Foundations of Functional Programming 2 (2+1), Streicher |
| Seminar: Constraint Satisfaction Problems (2), Otto |
| Höhere Mathematik I (3+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Streicher |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer |
| Introduction to Mathematical Logic (4+2), Eickmeyer |
| Introduction to Computability Theory (2+1), Kohlenbach |
| Finite Model Theory (2+1), Otto |
| Mathematical Foundations of Functional Programming 1 (2+1), Streicher |
| Proseminar: Lambda-Kalkül (2), Streicher |
| Seminar: Variations on the theme of modal logics (2), Otto |
| Mathematik für Informatiker (4+2), Streicher |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach |
| Einführung in die Axiomatische Mengenlehre (2+1), Streicher |
| Linear Algebra 2 engl. (4+2), Otto |
| Logik und Grundlagen (2+1), Otto |
| Applied Proof Theory (4+2), Kohlenbach |
| Modal Logics (2+1), Otto |
| Computational Complexity (4+2), Eickmeyer |
| Seminar (2), Eickmeyer |
| Mathematik für Informatiker (4+2), Streicher |
| Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach |
| Linear Algebra 1 engl. (4+2), Otto |
| Introduction to Mathematical Logic (4+2), Otto |
| Advanced Applied Proof Theory (2+1), Kohlenbach |
| Realizability (2+1), Streicher |
| Seminar (2), Kohlenbach |
| Mathematik für Informatiker (4+2), Streicher |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto |
| Analysis 2 engl. (4+2), Kohlenbach |
| Basic Applied Proof Theory (2+1), Kohlenbach |
| Classical and Non-Classical Model Theory (4+2), Otto |
| Categorical Logic (2+1), Streicher |
| Seminar (2), Otto |
| Computability (2+1), Kohlenbach |
| Category Theory (2+1), Streicher |
| Introduction to Mathematical Logic (4+2), Otto |
| Mathematik für Informatiker (4+2), Streicher |
| Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto |
| Analysis 1 engl. (4+2), Kohlenbach |
| Seminar (2), NN |
| Advanced Applied Proof Theory (2+1), Kohlenbach |
| Finite Model Theory (2+1), Otto |
| Logik und Grundlagen (2+1), Otto |
| Seminar (2) |
| Basic Applied Proof Theory (2+1), Kohlenbach |
| Mathematical Foundations of Functional Programming II (2+1), Streicher |
| Introduction to Mathematical Logic |
| Finite Model Theory (2+1), Otto |
| Mathematical Foundations of Functional Programming I (2+1), Streicher |
| Computable Analysis (2+1), Schröder |
| Seminar: Logic, discrete structures, algorithmic methods (0+2), Otto |
|
Introduction to Computability Theory (2+1), Seyfferth (I) |
| Seminar: Proof Theory, Kohlenbach |
| Modal Logics (2+1), Otto |
| Incompleteness of Formal Systems (2+1), Streicher (I) |
| Introduction to Mathematical Logic |
