Regelmäßige Veranstaltungen
Die Lehre unseres Instituts konzentriert sich naturgemäß auf die Theoretische Informatik und orientiert sich an unseren speziellen Kompetenzen, die sich auch in der Forschung widerspiegeln. Die unten stehende Tabelle führt die von uns regelmäßig angebotenen Lehrveranstaltungen auf. Außerdem sind alle Interessierten zum regelmäßigen Forschungsseminar des Instituts für Theoretische Informatik eingeladen.
Bachelor
- Algorithmen und Datenstrukturen 1 (Bachelor Informatik)
- Algorithmen und Datenstrukturen 2 (Bachelor Informatik)
- Algorithmen, Automaten und Komplexität (Bachelor Ingenieurinformatik)
- Automaten und Formale Sprachen (Bachelor Informatik)
- Automatentheorie (Bachelor Informatik)
- Berechenbarkeit und Komplexität (Bachelor Informatik)
- Logik und Logikprogrammierung (Bachelor Informatik)
- Kryptographie (Bachelor Informatik und Master Wirtschaftsinformatik)
- Randomisierte Algorithmen (Bachelor Informatik)
Master
- Algorithmen und Komplexität 1 + 2 (Master Informatik, geplant ab SoSe 23)
- Algorithms (Master RCSE)
- Automatische Strukturen (Master Informatik)
- Beweiskomplexität (Master Informatik)
- Constraint Satisfaction (Master Informatik, geplant ab WiSe 23/24)
- Effiziente Algorithmen (Master Informatik)
- Logik in der Informatik (Master Informatik)
- Theoretical Computer Science (Master RCSE)
- Verifikation (Master Informatik und RCSE)
Aktuelle Lehrveranstaltungen
Wintersemester 2023/24
FG Algorithmik
- Algorithmen und Datenstrukturen 2 (Moodle-Kurs)
- Constraint Satisfaction (Moodle-Kurs)
- Effiziente Algorithmen (Moodle-Kurs)
- Kryptographie (Moodle-Kurs)
FG Automaten und Logik
- Automaten und Formale Sprachen (AFS) (Moodle-Kurs)
- Automatische Strukturen (AS) (Moodle-Kurs)
- Logik und Logikprogrammierung (LuLp) (Moodle-Kurs)
- Verifikation (Ver) (Moodle-Kurs)
Lehrveranstaltungen früherer Semester
Sommersemester 2023
FG Algorithmik
- Algorithmen und Datenstrukturen 1 (Moodle-Kurs)
- Algorithmen und Komplexität 1+2 (Moodle-Kurs)
- Algorithmen, Automaten und Komplexität, 1. Teil (Moodle-Kurs)
- Algorithms (Moodle-Kurs)
Wintersemester 2022/23
FG Algorithmik
- Algorithmen und Datenstrukturen 2 (Moodle-Kurs)
- Beweiskomplexität (Moodle-Kurs)
- Effiziente Algorithmen (Moodle-Kurs)
- Kryptographie (Moodle-Kurs)
FG Automaten und Logik
- Automaten und formale Sprachen (AufS) (Moodle-Kurs)
- Automatische Strukturen (AS) (Moodle-Kurs)
- Logik und Logikprogrammierung (LuLP) (Moodle-Kurs)
- Verifikation (V) (Moodle-Kurs)