GdI-IFP: Introduction to Functional Programming
GdI-MfI-1-B: Mathematik für Informatik 1
GdI-MTL: Modal and Temporal Logic
GdI-Proj-M: Masterprojekt Grundlagen der Informatik
GdI-Sem-B/M: Seminar (Computational Semantics of Natural Language)
Mathematik für Informatik 1 Tutorium Gruppe 3
Mathematik für Informatik 1 Tutorium Gruppe 8
Mathematik für Informatik 1 Tutorium Gruppe 10
Mathematik für Informatik, Tutorium Gruppe 1
Mathematik für Informatik, Tutorium Gruppe 2
Mathematik für Informatik, Tutorium Gruppe 4
Mathematik für Informatik, Tutorium Gruppe 5
Mathematik für Informatik, Tutorium Gruppe 6
Mathematik für Informatik, Tutorium Gruppe 7
Mathematik für Informatik, Tutorium Gruppe 9
Mathematik für Informatik, Tutorium Gruppe 11
Scientific Research and Writing for Master's Students