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