Interaktive Systeme (HCI-IS-B)
AISE-Sem-B: Computational Philosophy
AISE-Sem-M: Masterseminar zu KI-Systementwicklung
AISE-UL: Universelle Logik & Universelles Schließen
AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 1)
AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 2)
PSI-EDS-B Ethics for the Digital Society [EDS]
PSI-IntroSP-B: Introduction to Security and Privacy [IntroSP]
PSI-IntroSPTut-B Introduction to Security and Privacy 1 (Tutorials)
PSI-IntroSPTut-B Introduction to Security and Privacy 2 (Tutorials)
PSI-IntroSPTut-B Introduction to Security and Privacy 3 (Tutorials)
PSI-IntroSPTut-B Introduction to Security and Privacy 4 (Tutorials)
GdI-IFP: Introduction to Functional Programming
GdI-MTL: Modal and Temporal Logic