Springe zum Hauptinhalt
Theoretische Informatik
Theoretische Informatik
Theoretische Informatik 

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.