Universität Ulm , Fakultät für Informatik , Abteilung Theoretische Informatik

Hauptseminar Logische Charakterisierung von Komplexitätsklassen

Veranstalter

Prof. Dr. Jacobo Toran, Jochen Messner

Inhalt

Üblicherweise werden Komplexitätsklassen wie z.B. P und NP mittels Berechnungsmodellen definiert.In diesem Seminar soll die alternative Charakterisierung solcher Klassen mittels logischen Theorien vorgestellt werden.

Ausarbeitung