Hauptseminar Wintersemester 2025/26 - Stundenplan
Der Stundenplan dient als Tagebuch, um festzuhalten, was wir tatsächlich im Seminar gemacht haben.
13. Oktober 2025 | Kein Seminar. Bitte werfen Sie einen Blick auf meine Themenvorschläge. |
20. Oktober 2025 | Erstes Treffen. Wir diskutieren die Themenaufteilung. Eventuell sprechen wir bereits etwas konkreter über SAT und SAT-Solver. |