GdI-Sem-B (Computational Semantics of Natural Languages)
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester
GdI-MfI-1-B: Mathematik für Informatik
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Umar Hussain
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester
GdI-IFP: Introduction to Functional Programming
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester
GdI-MTL: Modal and Temporal Logic
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester