Allgemeines

Veranstaltungsnummer 040399
Titel Konzepte und Methoden der Theoretischen Informatik
Veranstalter Prof. Dr. Thomas Schwentick
Übungsleiter Prof. Dr. Thomas Schwentick
Klassifikation Wahlmodul in den Informatik-Bachelorstudiengängen
Semester Wintersemester 2017/18
SWS 3 (2V+1Ü)
Kreditpunkte 4
Ort und Zeit

Vorlesung: Dienstag, 10:15-12:00 Uhr, OH 12, 2.063

Übung: Donnerstag, 12:15-13:45 Uhr, OH 12, 2.063, ca. 14-tägig

Beginn: 10.10.

Voraussetzungen GTI und Logik für Informatiker
Materialien Im Moodle Arbeitsraum: Link zu moodle

Die Veranstaltung  gibt einen Einblick in Methoden und Denkweisen der Theoretischen Informatik, die über die kanonischen Inhalte des Moduls Grundbegriffe der Theoretischen Informatik hinausgehen. Voraussichtliche Themen  sind unter anderen:

  • Kolmogorovkomplexität
  • Kommunikationskomplexität
  • Unendliche Berechnungen und reguläre Omega-Sprachen
  • Alternierung
  • Logik und Berechnungen
  • Parametrisierte Komplexität
  • Kombinatorische Methoden
  • Bäume, Baumautomaten, und Baumweite
  • Model Checking
  • Beweissysteme und Komplexität
  • Derandomisierung
  • Term Rewriting