GdI-Sem-M/B: Seminar GdI (Computational Semantics of Natural Language and Modal Predicate Logic)
- Moderator/in: Luke Burke
Semester: 2024/25 Wintersemester
GdI-MfI-1-B: Mathematik für Informatik
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Paul Dippolt
- Moderator/in: Hannes Hoyer
- Moderator/in: Michael Mendler
Semester: 2024/25 Wintersemester
GdI-IFP: Introduction to Functional Programming
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024/25 Wintersemester
GdI-MTL: Modal and Temporal Logic
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024/25 Wintersemester