GdI-IFP: Introduction to Functional Programming [GdI-IFP]
GdI-IFP: Introduction to Functional Programming
GdI-MfI-1-B: Mathematik für Informatik [GdI-MfI-1]
GdI-MfI-1-B: Mathematik für Informatik
GdI-MTL: Modal and Temporal Logic
Mathematik für Informatik, Tutorium Gruppe 1
Mathematik für Informatik, Tutorium Gruppe 2
Mathematik für Informatik, Tutorium Gruppe 3
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 8
Scientific Research and Writing for Master's Students