Logik, WiSe 2017/18

Kurs Logik (Wintersemester 2017/18)

Vortragender: Prof. Dr. Thomas Schneider

K4, Modulbereich Theorie

Di. 8–10 MZH 1470
Mi. 16–18 MZH 1470

Kurzbeschreibung

Logik gehört zu den zentralen theoretischen Grundlagen der Informatik und hat einen wesentlichen Einfluss auf die Entwicklung von Gebieten wie Datenbanken, Verifikation, Komplexitätstheorie und formale Sprachen. Diese Vorlesung bietet eine Einführung in die wichtigsten Themen der 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 etwas 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

Einführung	4 pro Seite
Teil 1: Aussagenlogik	4 pro Seite
Teil 2: Prädikatenlogik Grundlagen	4 pro Seite
Teil 3: Mehr zur Prädikatenlogik erster Stufe	4 pro Seite
Teil 4: Prädikatenlogik zweiter Stufe	4 pro Seite	(bis einschließlich Vorlesung vom 31. 1.)

Es wird empfohlen, die Beispiele und Beweise an der Tafel mitzuschreiben. Zum Abgleich der Mitschriften steht ein PDF-Dokument zur Verfügung (letzte Änderungen: 14./16. 1., Nummerierungen in Teil IV aktualisiert/Fehler in T3.18 behoben).

Fragebögen aus der Vorlesung

Fragebogen 1    (18. 10.)
Fragebogen 2    (24. 10.)
Fragebogen 3    (1. 11.)
Fragebogen 4    (7. 11.)
Fragebogen 5    (8. 11.)
Fragebogen 7    (21. 11.)
Fragebogen 8    (28. 11.)
Fragebogen 9    (5. 12.)
Fragebogen 10    (6. 12.)
Fragebogen 11    (19. 12.)
Fragebogen 12    (20. 12.)
Fragebogen 13    (9. 1.)
Fragebogen 14    (16. 1.)
Fragebogen 15    (17. 1.)
Fragebogen 16    (30. 1.)

Übungsaufgaben

Übungsblatt 1    (Abgabe Di. 24. 10. in Stud.IP, Besprechung Mi. 25. 10.)
Übungsblatt 2    (Abgabe Sa. 11. 11. in Stud.IP, Besprechung Di. 14. 11.)
Übungsblatt 3    (Abgabe So. 26. 11. in Stud.IP, Besprechung Mi. 29. 11.)
Übungsblatt 4    (Abgabe So. 10. 12. in Stud.IP, Besprechung Mi. 13. 12.)
Übungsblatt 5    (Abgabe So. 7. 1. in Stud.IP, Besprechung Mi. 10. 1.)
Übungsblatt 6    (Abgabe So. 21. 1. in Stud.IP, Besprechung Mi. 24. 1.)
     (!) Korrektur in Aufgaben 1c) und 3b), 17. 1. (!)
Übungsblatt 7*    (Abgabe So. 28. 1. in Stud.IP, Besprechung Mi. 31. 1.)

Termine für die verbleibenden Übungsblätter und Übungen:

Blatt	Abgabetermin	Besprechung, Übungstermin
6	So. 21. 1.	Mi. 24. 1.
7*	So. 28. 1.	Mi. 31. 1., 2. Hälfte der Sitzung

*nur 1 Aufgabe, Bonuspunkte

Prüfungen

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

Literatur

Erich Grädel. Mathematische Logik für Informatiker I. Vorlesungsskript, Sommersemester 2016, RWTH Aachen.
Leonid Libkin. Elements of Finite Model Theory. Springer Verlag, 2004
Uwe Schöning. Logik für Informatiker. Spektrum Akademischer Verlag, 2000 (5. Auflage).

AG Theorie der künstlichen Intelligenz 29. Jan. 2018 Thomas Schneider