Vorlesung Logik

Vortragender: Dr. Stefan Göller

Wahlbereich Bachelor-Basis, K4, 6 ECTS

Di 14:00 - 16:00 MZH 1470
Do 16:00 - 18:00 MZH 1470


Kurzbeschreibung

Die formale 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 formalen 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 etwa 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

(Die Beispiele und Beweise an der Tafel sind mitzuschreiben).

Übungsaufgaben

An dieser Stelle wird jede zweite Woche ein Übungsblatt bereitgestellt.

Prüfungen

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

Literatur


AG Theorie der künstlichen Intelligenz