Kurs Logik (Wintersemester 2016/17)
Vortragender: Prof. Dr. Thomas Schneider
K4, Modulbereich Theorie
Di. 8–10 MZH 1460 Beginn 8:25 Uhr
Mi. 16–18 MZH 1460 Beginn 16:00 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
Die Beispiele und Beweise an der Tafel sollten mitgeschrieben werden.
Tafelmitschriften
(Stand 23. 2.: kleinere Korrekturen in T1.10, T2.6, T2.23, T3.6, T4.12 und unterhalb T1.6)
Übungsaufgaben
Übungsblatt 1 (Abgabe und Besprechung am 26. 10.)
Übungsblatt 2 (Abgabe und Besprechung am 15. 11.)
Übungsblatt 3 (Abgabe und Besprechung am 29. 11.)
Übungsblatt 4 (Abgabe und Besprechung am 13. 12.)
Übungsblatt 5 (Abgabe und Besprechung am 11. 1.)
Übungsblatt 6 (Abgabe und Besprechung am 25. 1.)
Prüfungen
Die Prüfungsmodalitäten werden in der Vorlesung bekanntgegeben.
Literatur
- Erich Grädel. Mathematische Logik für Informatiker I.
Vorlesungsskript, 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
23. Feb. 2017
Thomas Schneider
