Zum Inhalt
Fakultät für Informatik

Konzepte und Methoden der Theoretischen Informatik

Konzepte und Methoden der Theoretischen Informatik

Veranstaltungsnummer 040339
Modulnummer INF-BA-320
Titel Konzepte und Methoden der Theoretischen Informatik
Veranstalter Prof. Dr. Thomas Schwentick
Klassifikation Wahlmodul in den Informatik-Bachelorstudiengängen
Semester Wintersemester 2022/23
SWS 3 (2V+1Ü)
Kreditpunkte 4
Ort und Zeit Vorlesung: Dienstags, 10-12 Uhr
Übung: tba
Querverbindungen  
Voraussetzungen  
Materialien Im Moodle-Arbeitsraum (Anmeldung über LSF)
Übungsleiter Thomas Schwentick

Aktuelles

Die Veranstaltung wird Präsenz- und Online-Elemente kombinieren. Genauere Informationen dazu folgen noch.

Die Veranstaltung beginnt am 11.10.2022 um 10:15 Uhr in einem zoom-Meeting: https://tu-dortmund.zoom.us/j/94198598601?pwd=eTZvSWd3KzVWM0VRSVNWV0lhbVlBdz09.

Der Stoff der Vorlesung wird fast vollständig durch Videos abgedeckt. Voraussichtlich wird er aber auch in klassischer Vorlesungsform präsentiert. Zumeist in Präsenz, zu manchen Terminen auch online.

Inhalt

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:

  • Kolmogorovkomplexität
  • Kommunikationskomplexität
  • Unendliche Berechnungen und reguläre Omega-Sprachen
  • Alternierung
  • Logik und Berechnungen
  • Term Rewriting
  • Parametrisierte Komplexität
  • Bäume, Baumautomaten, und Baumweite
  • Model Checking (Grundlagen, Lineare Zeit, Verzweigende Zeit)
  • Interaktive Beweissysteme
  • Derandomisierung

Literatur