Prüfungszusammenstellung
Die Vorlesungen, über die eine Prüfung am Lehrstuhl abgelegt werden kann, sind in vier Katogorien A, B, C und D aufgeteilt.Für die Prüfung Theoretische Informatik können die Vorlesungen aus den Kategorien A,B und C beliebig kombiniert werden. Zusätzlich muss eine der Vorlesungen aus Kategorie D gewählt werden. Insgesamt sind 12 SWS abzudecken.
Für die Vertiefungsprüfung sind 12 SWS aus den Kategorien A, B und C abzudecken.
Kombinationen aus den Kategorien A,B und D werden von Prof. Vöcking geprüft, Kombinationen aus A,C und D von PD Dr. Unger. Kombinationen, die die Kategorien B und C umfassen werden von beiden Dozenten gemeinsam geprüft.
Kategorie A)
- Effiziente Algorithmen (Vöcking, Rossmanith, Unger)
- Approximations- und Online-Algorithmen (Seibert)
- Algorithmische Spieltheorie (Vöcking)
- Netzwerkalgorithmen (Vöcking)
- Algorithmische Kryptograpie (Unger)
- Algorithmische Graphentheorie (Unger)
- Kommunikationsprobleme (Unger)
- Komplexitätstheorie (Grädel)
- Compilerbau (Noll)
- Angewandte Automatentheorie (Thomas)
Prüfungstermine
Prüfungstermine sollten mit dem Lehrstuhlsekretariat 1 bis 2 Monate vor der Prüfung abgesprochen werden. Terminvereinbarungen mehr als 2 Monate im voraus sind nicht möglich.