 |
Vorlesungen |
|
|
 |
 |
Theoretische Grundlagen der Informatik: Formale Sprachen und Automatentheorie |
|
Prof. Ulrich Hertrampf |
|
|
Ergänzungen zur Theoretischen Informatik |
|
Jürn Laun |
|
|
Komplexitätstheorie |
|
Prof. Volker Diekert |
|
|
Algorithmische Gruppentheorie |
|
Prof. Volker Diekert |
|
|
Quantencomputing |
|
Prof. Ulrich Hertrampf |
|
Seminare |
|
|
|
|
Hauptseminar Automaten über unendlichen Objekten |
|
Prof. Volker Diekert / Dr. Manfred Kufleitner |
|
|
Oberseminar der Theoretischen Informatik |
|
Wintersemester 2010/11
Pro
) |
© Universität Stuttgart |
Impressum