Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Zwischenklausur Haupttermin / Mid-term main exam | Exams | 13.12.25 | 13.12.25 | No | |||
| Ausgabe Blatt 2 / Release Sheet 2 | Problem sheets | 24.10.25 | N/A | Yes | |||
| Abgabe Blatt 10 / Submission Sheet 10 | Problem sheets | 30.01.26 | 30.01.26 | No | |||
| Abgabe Blatt 9 / Submission Sheet 9 | Problem sheets | 23.01.26 | 23.01.26 | No | |||
| Zwischenklausur Nachtermin / Mid-term retake exam | Exams | 10.01.26 | 10.01.26 | No | |||
| Abschlussklausur Nachtermin / End-term retake exam | Exams | 20.03.26 | 20.03.26 | No | |||
| Abschlussklausur Haupttermin / End-term main exam | Exams | 26.02.26 | 26.02.26 | No | |||
| "Logik und Beweise" / "Logic and Proofs" | Problem sheets | 22.10.25 | N/A | Yes | |||
| Ausgabe Blatt 5 / Release Sheet 5 | Problem sheets | 14.11.25 | N/A | Yes | |||
| Einsicht Zwischenklausur Haupttermin / Inspection mid-term main exam | Question time | Hörsaal II, Gebäude E2 5 / Lecture hall II, building E2 5 | 19.12.25 | 19.12.25 | No |