Albert-Ludwigs-Universität Freiburg Mathematische Fakultät Institut für mathematische Logik und Grundlagen der Mathematik

Seminar über Endliche Modelltheorie

H.-D. Ebbinghaus, J. Flum, M. Weyer

Sommersemester 2001
Do 11-13
SR 318, Eckerstrasse 1

Das Seminar beschäftigt sich mit

In der parametrisierten Komplexitätstheorie wird der Einfluss der verschiedenen Eingaben eines Problems (z.B. bei Datenbankanfragen die (grosse) Datenbank und die (kleine) Anfrage) analysiert. Dadurch erhält man feinere und für die Praxis bedeutsamere Abschätzungen für die Komplexität.

Interessenten mögen sich, möglichst noch im Februar, mit einem der Veranstalter in Verbindung setzen.