Zum Inhalt
Fakultät für Informatik

Logik für Informatik

Veranstaltungsnummer 040125
Modulnummer INF-BA-106
Titel Logik
Veranstalter Prof. Dr. Thomas Schwentick
Klassifikation Pflichtvorlesung im Bachelor Informatik (Modul Logik für Informatik)

Wahlvorlesung im Bachelor Data Science (Modul Logik für Informatiker)
Semester Wintersemester 2024/25
SWS 3 (2V+1Ü)
Kreditpunkte 5
Ort und Zeit Hörsaalgebäude II, Hörsaal 3: Montags, 10-12 Uhr (Beginn: 7.10.2024)
Querverbindungen  
Voraussetzungen  
Materialien Im Moodle-Arbeitsraum (Anmeldung über LSF)
Übungsleiter*innen Jennifer Todtenhoefer, Tom Voellmer

Inhalt

Die Vorlesung umfasst wesentliche Grundlagen der modernen mathematischen Logik, die für die Informatik relevant sind. Neben den klassischen logischen Systemen der Aussagenlogik und der Prädikatenlogik lernen die Studierenden auch neuere logische Systeme kennen, die in der Informatik verwendet werden, wie Modallogik und Temporallogik. Für diese Logiken werden untersucht:
•    Syntax und Semantik
•    einige algorithmische und modelltheoretische Eigenschaften, sowie
•    verschiedene Beweiskalküle mit denen man die Unerfüllbarkeit logischer Formeln untersuchen kann.

Weiterhin werden die Grundlagen der logischen Programmierung vorgestellt.

In der Übung werden die grundlegenden Begriffe gefestigt und wesentliche Methoden geübt. Insbesondere die Modellierung mit Hilfe der Logik und der Umgang mit Beweiskalkülen wird vertieft.

Die Veranstaltung soll die Fähigkeit vermitteln, für die Modellierung einer gegebenen Problemstellung ein geeignetes logisches System zu finden bzw. zu entwickeln. Die Studierenden sollen Syntax und Semantik verschiedener logischer Systeme beherrschen und ggf. weiter entwickeln können. Sie sollen einige klassische Kalküle kennen und diese auf konkrete Problemstellungen anwenden können. Sie sollen ein grundlegendes Verständnis für die Logik-Programmierung entwickeln und in der Lage sein, einfache Sachverhalte durch Prolog-Programme auszudrücken.

Literatur

Die Vorlesung deckt im Wesentlichen Themen ab, die auch im Buch

Kreuzer, Kühling. Logik für Informatiker. Pearson, neueste Auflage,

behandelt werden. Es gibt jedoch Unterschiede hinsichtlich der Notation. Von diesem Buch sind viele Exemplare in der Bibliothek verfügbar.