English English

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)
Kategorie B)
  • Algorithmische Spieltheorie (Vöcking)
  • Netzwerkalgorithmen (Vöcking)
Kategorie C)
  • Algorithmische Kryptograpie (Unger)
  • Algorithmische Graphentheorie (Unger)
  • Kommunikationsprobleme (Unger)
Kategorie D)
  • 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.