|
Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
|
In diesem Logbuch finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungsstunden, die entsprechenden Teile des Skripts und gelegentlich auch Korrekturen und sonstige ergänzende Bemerkungen.
Am Dienstag, dem 13.10.26, findet die Eröffnungsvorlesung statt.
Kapitel 1: Einführung ins Thema "Logik in der Informatik" — heute:
Paradoxien, Syllogismen, Anwendungen der Logik in der
Informatik, Logik-Programmierung und Prolog; Lernziele des Moduls, Semesterausblick, Literatur
Organisatorisches (entlang der Webseite der Vorlesung).
Material:
Skript Seiten 1-20
Weitere Lektüre:
Kapitel 1 und 2.A in [KK],
Einleitung und Kapitel 1.1 in [S],
Vorwort und Kapitel 1.1, 1.5 und 2.1
in [B],
"Indroduction" der beiden Bücher [SS] und [BBS].
Eine Vorabversion des in der Vorlesung zitierten Artikel "On the unusual effectiveness of
logic in computer science" von Halpern, Harper, Immerman, Kolaitis, Vardi
und Vianu (Bulletin of Symbolic Logic 7(2):213-236 (2001)) finden
Sie hier.
Start mit Kapitel 2: Aussagenlogik — heute: Einführung und Beispiele, Syntax und Semantik der Aussagenlogik, rekursive Definitionen über Formeln, ein Beispiel zur Auswertung einer Formel
Material:
Skript Seiten 21-31 (bis zum Ende von Folie 50)
Weitere Lektüre:
Kapitel 1 und 2.A in [KK],
Einleitung und Kapitel 1.1 in [S],
Kapitel 2.1 und 2.2 in [B].
Weiter mit Kapitel 2: Aussagenlogik - heute: Modelle, das Koinzidenzlemma, Vereinbarungen und Notationen, Wahrheitstafeln, ein Logikrätsel, computerlesbare Darstellung von Formeln; Demo des Formelcheckers für die Aussagenlogik "snippets-of-logic"; Auflösung des Rätsels zur Geburtstagsfeier (Beispiel 2.1); Erfüllbarkeit, Allgemeingültigkeit, Folgerungsbeziehung
Material:
Skript Seiten 32-43 (bis inkl. Folie 73),
Formelchecker für die Aussagenlogik: snippets-of-logic
Weitere Lektüre:
Kapitel 1 und 2.A in [KK],
Kapitel 1.1 und 1.2 in [S],
Kapitel 2.2 in [B].