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 2019/20 |
| 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: 8.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