Logik für Informatiker

Vorlesung Montags, 16:00-18:00, Raum M 001: am 15.04, 22.04, 6.05, 3.06, 17.06, 8.07, 15.07
Dienstags, 16:00-18:00, Raum ~~D 028~~ M 001

Sprechstunde: Mi, 16:00

Klausur

Themen/Material

Themen (Letzte Version: 18.07.2013)

Folien

Folien: Webseite

Folien (zusammen):

Teil 1 (Motivation, Beweisstrategien, Aussagenlogik) [slides-all-part1.pdf]
4 Folien auf einer Seite: [slides-all-part1-4-on-page.pdf]

Teil 2 (Prädikatenlogik, Anwendungen)
[slides-all-part2.pdf]
4 Folien auf einer Seite: [slides-all-part2-4-on-page.pdf]

Prolog

Einführung: [prologs2004.pdf] (mit Dank an U. Furbach). Folien auch unter http://web.mac.com/ulrichfurbach/Logik/Logik.html verfügbar.

Learn Prolog Now by Patrick Blackburn, Johan Bos, and Kristina Striegnitz [online version]

Hauptklausur: Montag, 22.07.2013, 14:30-16:30, Raum D 028

Anmeldung: bis 18.07.2013 in der Prüfungsverwaltung in KLIPS

Prüfungsanmeldung in KLIPS: allgemeine Hinweise

Question/Answer: Dienstag, 16:00-17:30, in der Vorlesung

Nachklausur: Freitag, 4.10.2013, 13:30-15:30, Raum D 028

Anmeldung: TBA

Einführung

Rolle der Logik in der Informatik

Grundlegenden Beweisstrategien (insbesondere Induktion/strukturelle Induktion)

Aussagenlogik

Syntax und Semantik

Resolution, Vollsätndigkeits- und Korrektheitsbeweise

Analytische Tableaux

Prädikatenlogik

Syntax und Semantik

Resolution, Vollständigkeits- und Korrektheitsbeweise

Analytische Tableaux

Ulrich Furbach:
Logic for Computer Scientists. Vorlesungsskriptum und Wikibook

Uwe Schöning:
Logik für Informatiker, 5. Auflage. Spektrum Akademischer Verlag, 2000.

Melvin Fitting:
First-Order Logic and Automated Theorem Proving, 2. Auflage. Springer-Verlag, 1990.