GdI-CSNL: Computational Semantics of Natural Language and Modal Predicate Logic
GdI-FPRS-M: Functional Programming of Reactive Systems
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
Repetitorium MfI