| Sommersemester 2012 |
| Veranstaltung |
Übungsblätter |
Inhaltsangabe |
Übungen/Hinweise |
Prüfungen |
Automaten und Berechenbarkeit
Staiger/
Winter/
Kogler
|
Übungsblätter
|
Übersicht/Literatur
Folien (Vorlesungskapitel)
|
Autotool
Zusatzübung
Informationen zu Tutorien
Hinweise zum Beweisen
|
Prüfungen/Zulassungsvoraussetzungen Hinweise zur Theorieprüfung
|
Komplexitätstheorie
Staiger/
Kogler
|
Übungsblätter
|
Folien
|
|
|
Ausgewählte Kapitel der Theoretischen Informatik
Staiger/
Winter/
Kogler
|
|
Themen/Kolloquien
|
|
|
