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