GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming
GdI-MfI-1: Mathematik für Informatik 1
GdI-MTL-B: 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 [SSS-SRW-M]