Fachrat Informatik - Forum

Hallo,

im kommenden Wintersemester 2011/2012 veranstaltet das Institut für Theoretische Informatik wieder ein Seminar "Dependence Logic". In diesem Seminar beschäftigen wir uns mit Dependence Logic, die 2007 von Jouko Väänänen eingeführt wurde. Dependence Logic basiert auf Independence Friendly Logic, die wiederum auf Leon Henkin zurückgeht. Dependence Logic ist eine Erweiterung der Prädikatenlogik der ersten Stufe und beschreibt die Abhängigkeit von Variablen untereinander. Das sogenannte "Dependence Atom" =(x_1,…,x_n) sagt aus, dass die Variable x_n nur von den Variablen x_1,…,x_n-1 abhängt. Es induziert eine Funktion f, die x_1,…,x_n-1 auf x_n abbildet, ohne diese explizit anzugeben. Damit ist es möglich prädikatenlogische Variablen der ersten Stufe mit beliebigen Abhängigkeiten untereinander zu quantifizieren. Wir beschäftigen uns mit komplexitätstheoretischen Betrachtungen und werden im Weiteren sehen, dass das Dependence Atom die Prädikatenlogik der ersten Stufe zur existentiellen Prädikatenlogik zweiter Stufe erweitert.

Vorkenntnisse in Logik sind für dieses Seminar hilfreich. Die Anmeldung zum Seminar ist per StudIP oder per Mail möglich.
Wer Interesse hat kann gerne zur unverbindlichen Vorbesprechung am 12. Oktober um 13:30 Raum 224 Appelstraße 4 kommen.