Lehrveranstaltungen im HT 2020

 

 

Lehrveranstaltungen im WT 2021

(wird noch ergänzt)

  • Analysis 2
  • Grundlagen der Berechenbarkeit
  • Höhere Mathematik für Wirtschaftsinformatiker
  • Lineare Algebra 2
  • Logikprogrammierung

 

Lehrveranstaltungen im FT 2021

(wird noch ergänzt)

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