GdI-IFP: Introduction to Functional Progamming (Übung 1)
GdI-IFP: Introduction to Functional Progamming (Übung 2)
GdI-IFP: Introduction to Functional Programming (Vorlesung)
GdI-MfI-1-B: Mathematik für Informatik (Übung)
GdI-MfI-1-B: Mathematik für Informatik (Vorlesung)
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