Lehrveranstaltungen im HT 2019

 

 

Lehrveranstaltungen im WT 2020

(wird noch ergänzt)

 

Lehrveranstaltungen im FT 2020

(wird noch ergänzt)

  • Algorithmen und Komplexität
  • Formale Sprachen und Automatentheorie
  • Mathematische Logik
  • Numerik und Differentialgleichungen
  • Praktikum Korrekte Software