RWTH Informatik Studienberatung Haftungsausschluss (Disclaimer)
Auszug aus dem Studienführer
1. Diplomprüfungen in Theoretischer Informatik
Die Diplomprüfung in Theoretischer Informatik setzt sich aus mindestens 12 SWS zusammen. Mögliche Prüfungskombinationen sind frühzeitig mit dem/den gewünschten Prüfer/n zu klären. Um etwaige Unstimmigkeiten auszuschließen, sollten die Studierenden so früh wie möglich Informationen des/der in Frage kommenden Prüfer/s auf den entsprechenden Institutshomepages einsehen bzw. sich mit dem/den in Frage kommenden Prüfern in Verbindung setzen, um die konkreten Inhalte der Prüfung zu besprechen. Dies bezieht sich vor allem auf Prüfungen über Vorlesungen, die nicht mehr angeboten werden oder nicht vom eigenen Lehrstuhl/LuFG abgehalten werden. Prüfungskombinationen, die nicht von einem Prüfer allein angeboten werden können zudem durch die Wahl mehrerer Prüfer realisiert werden. Die Vorlesungen Compilerbau, Logikprogrammierung und Grundlagen der funktionalen Programmierung können sowohl für die Theorie- als auch für die Praxisprüfung, aber nur in einer von beiden gewählt werden. Das Vorlesungsangebot der Professoren im Bereich Theoretische Informatik gliedert sich in fünf Blöcke. Um die Breite der Prüfung zu gewährleisten, sollen mindestens 2 der Bereiche A, B, C, D und E vertreten sein und höchstens 2/3 des Prüfungsstoffes aus dem Lehrangebot des Prüfers stammen. Ausserdem können nach Absprache weitere Spezialvorlesungen vereinbart werden. Die Vorlesungen Compilerbau, Logikprogrammierung und Grundlagen der Funktionalen Programmierung können sowohl für die Theorie- als auch für die Praxisprüfung, aber nur in einer von beiden gewählt werden.
Vorlesung Prüfer
A. Effiziente Algorithmen
Effiziente Algorithmen (V4)
Netzwerkalgorithmen (V4)
Approximationsalgorithmen (V2)
Online-Algorithmen (V2)
Optimierung und Spieltheorie
Graphalgorithmen (V4)
Algorithmische Kryptographie (V4)
Parallele Algorithmen (V4)
Parametrisierte Algorithmen (V2)
B. Komplexitätstheorie
Komplexitätstheorie (V4)
Rekursionstheorie (V2)
Quantum Computing (V2)
C. Automatentheorie und Formale Sprachen
Automaten und Reaktive Systeme (V4)
Angewandte Automatentheorie (V4)
D. Logik und Verifikation
Model-Checking (V2)
Automatische Programmverifikation (V4)
Endliche Modelltheorie (V4)
Entscheidbark. u. Komplexität v. Logik-Problemen (V4)
Mathematische Logik II (V4)
Temporal Logic and Model Checking (V4)
Termersetzungssysteme (V4)
E. Programmiersprachen und Semantik
Compilerbau (V4)
Grundlagen der Funktionalen Programmierung (V4)
Logikprogrammierung (V4)
Modelling Concurrent Systems (V2)
Semantik von Programmiersprachen (V4)
Testing of Reactive Systems (V2)
Foundations of the UML (V2)
Probabilistic Models of Concurrency (V2)

RWTH Informatik Studienberatung Haftungsausschluss (Disclaimer)