Automatentheorie
Algorithmen und Datenstrukturen
Automaten und Komplexität
Ausgewählte Kapitel der Komplexitätstheorie/ Algorithmik
Logik und Logikprogrammierung
Logik in der Informatik
Randomisierte Algorithmen
