SoSe 15: Proseminar: Logik
Christoph Benzmüller
Comments
In diesem Prosemnar sollen grundlegende Inhalte ül;ber Propositionallogik und Logik erster Stufe, besonders aber über deren Automatisierung, erarbeitet und diskutiert werden. Dabei werden wir uns zu Beginn der Veranstaltung mit einfacher Propositionallogik (d.h. Logik ohne Quantoren und Funktionen) auseinandersetzen und einige formale Begrifflichkeiten und mathematische Resultate, z.B. über Entscheidbarkeit und Komplexität, kennenlernen.
Im weiteren Verlauf der Veranstaltung wird dann die Automatisierung der Logiken, vor allem von Logik erster Stufe, im Fokus stehen. Hierbei werden formale Resultate und praktische Techniken vorgestellt, die in automatischen Theorembeweisern zum Einsatz kommen. Einige Entscheidungskomponenten von Theorembeweisern werden implementiert (wahrscheinlich in Haskell) und mit formalen Hintergrund vorgestellt und diskutiert.
Wenn genug Zeit bleibt, können nicht-klassische Erweiterungen wie z.B. propositionale Modallogik oder Beschreibungslogik diskutiert werden. Es können, je nach Situation, auch geschichtliche Entwicklungen und philosophische Relevanz der Logiken (bzw. Aspekte davon) thematisiert werden.
Zur Veranstaltungsseite
14 Class schedule
Additional appointments
Tue, 2015-04-07 10:00 - 12:00Regular appointments