Vorlesung Logik

Vortragender: Prof. Carsten Lutz

K4, Modulbereich Theorie

Di 08-10 MZH 1090
Mi 16-18 MZH 5210

Die Vorlesung am 17.12. fällt aus. Am 18.12. findet eine Übung statt.


Kurzbeschreibung

Logik gehört zu den zentralen theoretischen Grundlagen der Informatik und hat einen wesentlichen Einfluß auf die Entwicklung von Gebieten wie Datenbanken, Verifikation, Komplexitätstheorie und formale Sprachen. Diese Vorlesung bietet eine Einführung in die wichtigsten Themen der Logik, insbesondere in die Aussagenlogik, die Prädikatenlogik erster Stufe und die Prädikatenlogik zweiter Stufe. Ein besonderer Schwerpunkt liegt dabei auf Themen, die für die Informatik von unmittelbarer Bedeutung sind, wie etwas der Entscheidbarkeit und Komplexität logischer Probleme und der Ausdrucksstärke logischer Formalismen. Während der Vorlesung werden regelmäßig Querbezüge zur Informatik hergestellt, wobei insbesondere die Themen Datenbanken, Komplexität und formale Sprachen Berücksichtigung finden.

Folien

Können hier heruntergeladen werden: Die Beispiele und Beweise an der Tafel sollten mitzuschreiben werden. Hier ist der Beweis des Lemmas zur Nicht-Ausdr\"uckbarkeit von Zusammenhang in der Logik erster Stufe.

Ein freundlicherweise von Studierenden angefertigtes `inoffizielles' Skript zur Vorlesung findet sich hier.

Übungsaufgaben


Prüfungen

Die Prüfungsmodalitäten werden in der Vorlesung bekanntgegeben.

Literatur


AG Theorie der künstlichen Intelligenz