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
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)
Lehrveranstaltungen früherer Semester
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)
Sommersemester 2022
FG Komplexitätstheorie und Effiziente Algorithmen
Wintersemester 2021/22
FG Automaten und Logik
FG Komplexitätstheorie und Effiziente Algorithmen
- Algorithmen und Datenstrukturen 1 (AuD1)
- Algorithms (A)
- Approximationsalgorithmen (AppAlg)
- Effiziente Algorithmen (EA)
- Kryptographie (KG)