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)

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 2022/23

FG Algorithmik

FG Automaten und Logik

  • Automaten und formale Sprachen (AufS)
  • Automatische Strukturen (AS)
  • Logik und Logikprogrammierung (LuLP)
  • Verifikation (V)

Sommersemester 2022

Wintersemester 2021/22

FG Komplexitätstheorie und Effiziente Algorithmen

Sommersemester 2021