Lernziele / Inhalt
Lernziele:
Logik dient in der Informatik unter anderem als Grundlage der Datenbanken (Abfragesprache SQL), als Beschreibungssprache für Schaltkreise und als Modellierungs- und Spezifikationssprache, wo sie auch für die Analyse und Verifikation von Programmen eingesetzt wird. In Form der Logik-Programmiersprache Prolog wird Logik auch zur Wissensverarbeitung und für Expertensysteme eingesetzt. Außerdem ist die Logik ein Anwendungsgebiet der Informatik, beispielsweise bei der Entwicklung von Theorembeweisern. Im Rahmen dieser Veranstaltung werden die Grundlagen der Aussagen- und Prädikatenlogik und ihre Anwendungen vermittelt.
Inhalt:
Genauere Informationen dazu werden in der Vorlesung bekannt gegeben.
- Aussagenlogik (Grundbegriffe, Äquivalenz und Normalformen, Hornformeln, Resolution in der Aussagenlogik, Anwendung SAT-Solver)
- Prädikatenlogik erster Stufe (Grundbegriffe, Normalformen, Unentscheidbarkeit der Prädikatenlogik, Herbrandtheorie, Resolution in der Prädikatenlogik)
- Grundlagen der Logik-Programmierung (SLD-Resolution)
- Lehrende(r): Mara Arnold
- Lehrende(r): Larissa Barutta
- Lehrende(r): Simon Dörfler
- Lehrende(r): Sebastian Gurke
- Lehrende(r): Barbara König
- Lehrende(r): Florian König
- Lehrende(r): Yaman Lahdo
- Lehrende(r): Leon Weigl