GdI-IFP: Introduction to Functional Progamming
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
Tutorenarbeitsgemeinschaft MfI1