Lehrveranstaltungen im HT 2019
- Algorithmische Zahlentheorie
- Analysis 1
- Ausgewählte Kapitel des OR
- Einführung in die Wirtschaftsinformatik
- Lineare Algebra 1
- Mathematische Strukturen
- Reelle Berechenbarkeit
- Zahlentheorie und Kryptographie
Lehrveranstaltungen im WT 2020
(wird noch ergänzt)
- Analysis 2
- Ausgewählte Kapitel der Komplexitätstheorie
- Ausgewählte mathematische Methoden in Kryptographie und Codierungstheorie
- Grundlagen der Berechenbarkeit
- Informations- und Codierungstheorie
- Lineare Algebra 2
- Spezifikation
Lehrveranstaltungen im FT 2020
(wird noch ergänzt)
- Algorithmen und Komplexität
- Formale Sprachen und Automatentheorie
- Mathematische Logik
- Numerik und Differentialgleichungen
- Praktikum Korrekte Software