RWTH
Informatik
Studienberatung
Haftungsausschluss (Disclaimer)
Die Dozenten der jeweiligen Vorlesungen sind farblich markiert.
Auszug aus dem Studienführer
Für die Diplomprüfung in Theoretischer Informatik sind Vorlesungen im Umfang von 12 SWS zugrunde zu legen. Die beigefügte Liste gibt eine Orientierung für die Auswahl der Prüfungsgebiete. Sie ersetzt nicht die Absprache mit dem jeweiligen Prüfer. Insbesondere kann nicht jede sich aus der Liste ergebende Kombination gewählt werden. Andererseits besteht die Möglichkeit, sich von mehreren Prüfern prüfen zu lassen und damit die Kombinationen zu erweitern.
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.
1. Diplomprüfungen in Theoretischer Informatik
Vorlesung
Prüfer
Prüfer
Prüfer
Prüfer
Prüfer
Prüfer
A. Effiziente Algorithmen Effiziente Algorithmen (V4) Giesl
Grädel
Rossmanith
Thomas
Vöcking
Netzwerkalgorithmen (V4)
Vöcking
Approximationsalgorithmen (V2)
Vöcking
Online-Algorithmen (V2)
Vöcking
Optimierung und Spieltheorie
Vöcking
Graphalgorithmen (V4)
Grädel
Rossmanith
Thomas
Vöcking
Algorithmische Kryptographie (V4)
Grädel
Rossmanith
Vöcking
Parallele Algorithmen (V4)
Rossmanith
Vöcking
Parametrisierte Algorithmen (V2)
Rossmanith
B. Komplexitätstheorie Komplexitätstheorie (V4)
Grädel
Rossmanith
Thomas
Vöcking
Rekursionstheorie (V2)
Grädel
Rossmanith
Thomas
Vöcking
Quantum Computing (V2)
Grädel
C. Automatentheorie und Formale Sprachen Automaten und Reaktive Systeme (V4)
Grädel
Katoen
Rossmanith
Thomas
Angewandte Automatentheorie (V4)
Grädel
Katoen
Rossmanith
Thomas
Vöcking
D. Logik und Verifikation Model-Checking (V2) Giesl
Grädel
Katoen
Rossmanith
Thomas
Automatische Programmverifikation (V4) Giesl
Endliche Modelltheorie (V4)
Grädel
Thomas
Entscheidbark. u. Komplexität v. Logik-Problemen (V4)
Grädel
Thomas
Mathematische Logik II (V4)
Grädel
Temporal Logic and Model Checking (V4) Giesl
Grädel
Katoen
Thomas
Termersetzungssysteme (V4) Giesl
E. Programmiersprachen und Semantik Compilerbau (V4) Giesl
Katoen
Thomas
Vöcking
Grundlagen der Funktionalen Programmierung (V4) Giesl
Katoen
Logikprogrammierung (V4) Giesl
Thomas
Modelling Concurrent Systems (V2)
Katoen
Thomas
Semantik von Programmiersprachen (V4)
Katoen
Testing of Reactive Systems (V2)
Katoen
Foundations of the UML (V2)
Katoen
Probabilistic Models of Concurrency (V2)
Katoen
RWTH
Informatik
Studienberatung
Haftungsausschluss (Disclaimer)