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   (bis einschließlich Vorlesung vom 12. 12.)  

Es wird empfohlen, die Beispiele und Beweise an der Tafel mitzuschreiben. Zum Abgleich der Mitschriften steht ein PDF-Dokument zur Verfügung (letzte Änderung: 6. 12., Korrekturen in T2.16 und T2.23).

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.)

Ü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.)

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

Blatt vorauss. Ausgabetermin Abgabetermin Besprechung, Übungstermin
5 Mo. 11. 12. So. 7. 1. Mi. 10. 1.
6 Mo. 8. 1. So. 21. 1. Mi. 24. 1.

Prüfungen

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

Literatur


AG Theorie der künstlichen Intelligenz 11. Dez. 2017  Thomas Schneider
Valid HTML 4.0 Transitional