Kurs: Logik, WiSe 2018/19

Kurs Logik (Wintersemester 2018/19)

Vortragender: Prof. Dr. Thomas Schneider

K4, Modulbereich Theorie

Mo. 10–12 MZH 5210
Di. 8–10 MZH 1090 Erste Sitzung am Di., 16.10., um 8:15 Uhr

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
Teil 5: Überblick nichtklassische Logiken	4 pro Seite	(letzte Änderung am 29. 1. 10:00 Uhr: Korrekturen auf Folien 5, 8)

Es wird empfohlen, die Beispiele und Beweise an der Tafel mitzuschreiben. Zum Abgleich der Mitschriften steht auf GitHub ein PDF-Dokument zur Verfügung.

Fragebögen aus der Vorlesung

Fragebogen 1    (22. 10.)
Fragebogen 2    (23. 10.)
Fragebogen 3    (29. 10.)
Fragebogen 4    (5. 11.)
Fragebogen 5    (6. 11.)
Fragebogen 6    (12. 11.)
Fragebogen 7    (13. 11.)
Fragebogen 8    (20. 11.)
Fragebogen 9    (26. 11.)
Fragebogen 10    (3. 12.)
Fragebogen 11    (4. 12.)
Fragebogen 12    (10. 12.)
Fragebogen 13    (17. 12.)
Fragebogen 14    (18. 12.)
Fragebogen 15    (7. 1.)
Fragebogen 16    (8. 1.)
Fragebogen 17    (15. 1.)
Fragebogen 18    (21. 1.)
Fragebogen 19    (22. 1.)

Übungsaufgaben

Übungsblatt 1    (Abgabe Do. 25. 10. in Stud.IP, Besprechung Di. 30. 10.)
Übungsblatt 2    (Abgabe Do. 8. 11. in Stud.IP, Besprechung Mo. 19. 11.)
Übungsblatt 3    (Abgabe Do. 22. 11. in Stud.IP, Besprechung Di. 27. 11.)
Übungsblatt 4    (Abgabe Do. 6. 12. in Stud.IP, Besprechung Di. 11. 12.)
Übungsblatt 5    (Abgabe Mi. 9. 1. in Stud.IP, Besprechung Mo. 14. 1.)
Übungsblatt 6    (Abgabe Do 24. 1. in Stud.IP, Besprechung Mo. 28. 1.)

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 2019 Thomas Schneider