21/22 SoSe Lehrangebot

Angeboten werden im SoSe 21/22: 

• Formale Sprachen und Automaten (ForSA) [Modul] [ISIS]
  — Pflichtmodul @ Bachelor Informatik
• Modelle Dynamischer Systeme (MoDySy) [Modul] [ISIS]
  — Programmierpraktikum @ Bachelor Informatik
• Algebraic Process Calculi [Modul][ISIS]
  — Wahlpflichtmodul @ Master CS(I)
• Einführung in das interaktive Theorembeweisen (Isabelle-Lab) [Modul][ISIS]
  — Wahlpflichtmodul @ Bachelor Informatik & Master CS(I)