Theoretische Informatik
Das Seminar Theoretische Informatik richtet sich ausschließlich an Bachelorstudierende.Es baut auf der Vorlesung Grundzüge der Informatik II auf und vertieft das Gebiet Theoretische Informatik, insbesondere das Gebiet der Komplexitätstheorie. Die Themen umfassen unter anderem Komplexitätsklassen für randomisierte Algorithmen, interaktive Beweissysteme und speicherplatzbasierte Komplexitätsklassen. Alle Teilnehmer/innen halten einen auf 45 Minuten angesetzten Vortrag mit anschließender Diskussion. Aktive Teilnahme an der Diskussion und somit auch den Vorträgen wird erwartet. Nach dem Vortrag ist die Bereitstellung von elektronischen Vortragsfolien bzw. eine schriftliche Ausarbeitung (in LaTeX) erforderlich.
| Name | Thema | Datum |
|---|---|---|
| Carsten Daldrup | Grundlegende (randomisierte) Komlexitätsklassen | 20.05.2020 |
| Norman Thies | Grundlegende (randomisierte) Komlexitätsklassen | 27.05.2020 |
| Tugba Derin | Reduktionen | 10.06.2020 |
| Pascal Schwitalla | NP-Vollständigkeit und der Satz von Cook | 17.06.2020 |
| Tobias Krischer | NP-vollständige Probleme | 24.06.2020 |
| Carlotta Conermann | Komplexität von Approximationsproblemen | 01.07.2020 |