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

FG Automaten und Logik

Lehrveranstaltungen früherer Semester

Sommersemester 2023

FG Algorithmik

FG Automaten und Logik

Wintersemester 2022/23

FG Algorithmik

FG Automaten und Logik

Sommersemester 2022

FG Automaten und Logik

FG Komplexitätstheorie und Effiziente Algorithmen