Vertiefungsgebiete
|
|
|
|
Th1: Verteilte Systeme und Nebenläufige Prozesse
- Synchronisation, Lebendigkeit und Fairneß nebenläufiger Prozesse
- Verteilte Algorithmen, deren Korrektheit und Komplexität
- Modelle für Objektfluß in verteilten Systemen, insbesondere Anwendungen in Rechnerorganisation, Rechnernetzen und Büroorganisation
- Modellierung und Semantik nebenläufiger Prozesse, insbesondere Petri-Netze und temporale Logik
- Bezüge zu Fragen der Systemprogrammierung (Betriebssysteme und Rechnernetze)
- Stochastik
- Warteschlangentheorie
- Mathematische Logik
Th2: Formale Sprachen und Kalküle
- Grammatiken und Formale Sprachen
- Allgemeine Ersetzungssysteme
- Automatentheorie
- Algebraische Theorie Formaler Sprachen
- Komplexitätstheorie
- Informationstheorie und Codierung
- Schaltwerkstheorie
- Mathematische Logik
- Mathematische Spezialvorlesungen, z.B. Algebra, Topologie, Zahlentheorie, Kombinatorik
- Sonstige vertiefende Vorlesungen aus dem Bereich der Theoretischen Informatik
Th3: Algorithmen und Komplexität
- Automatentheorie
- Berechenbarkeit
- Komplexitätstheorie
- Automatisches Beweisen
- Komplexität von Algorithmen
- VLSI
- Mathematische Spezialvorlesungen, z.B. Kombinatorik, Graphentheorie, Operations Research
- Sonstige vertiefende Vorlesungen aus dem Bereich der Theoretischen Informatik
Th4: Theorie der Programmierung
- Formale Semantik und Korrektheit
- Syntaxanalyse
- Formale Spezifikation und abstrakte Datentypen
- Mathematische Logik
- Grammatiken und Formale Sprachen
- Sonstige vertiefende Vorlesungen aus dem Bereich der Theoretischen Informatik
