GdI-IFP: Introduction to Functional Programming [GdI-IFP]
GdI-MfI-1-B: Mathematik für Informatik
GdI-MTL: Modal and Temporal Logic