Mitteilungen
- Die Prüfung findet am 5.3. um 13 Uhr im Humboldt-Hörsaal statt.
- Die Klausureinsicht von LuLP findet am 30.04. zwischen 10:30 - 13:00 Uhr im Raum Z1050 statt. Bitte bringen Sie Ihren Studierendenausweis mit. Wir weisen im Voraus darauf hin, dass das Aufnehmen von Fotos, Videos, o. Ä. nicht gestattet ist.
- Um bei Interesse aktuelle Informationen (Raumänderungen, korrigierte Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.
- Einige der Übungsaufgaben sind als Bonusaufgaben gekennzeichnet. Ihre handschriftliche Lösung dieser Aufgaben geben Sie bitte bis zum auf dem Übungsblatt verzeichneten Zeitpunkt (üblicherweise Montag 11 Uhr) im Briefkasten vor dem Raum Z 1047 oder am Anfang der ersten Montag-Übung ab. Diese werden korrigiert, die dabei erhaltenen Punkte werden in Bonuspunkte für die Klausur umgerechnet. Die korrigierten Lösungen werden in den Übungen zurückgegeben.
- Neben den Übungen bieten wir auch regelmäßig eine Konsultation (Donnerstag der geraden Woche, 11 Uhr, Z 2073) an. In dieser werden ausschließlich von Ihnen vorgebrachte Themen besprochen. Die erste Konsultation findet am 30.10. statt.
Materialien
- Die Materialien zur Vorlesung oder zur Übung werden im Laufe des Semesters aktualisiert.
Vorlesungen
- Vorlesung 01 (16.10.): Einordnung und Syntax der Aussagenlogik
Folien, Mitschnitt - Vorlesung 02 (20.10.): Natürliches Schließen der AL
Folien, Mitschnitt - Vorlesung 03 (23.10.): Korrektheit und Vollständigkeit des natürliches Schließen der AL (1)
Folien, Mitschnitt - Vorlesung 04 (30.10.): Korrektheit und Vollständigkeit des natürliches Schließen der AL (2)
Entscheidbarkeit und Kompaktheit der AL
Folien, Mitschnitt - Vorlesung 05 (03.11.): Tableau-Verfahren für die AL
Folien, Mitschnitt - Vorlesung 06 (06.11.): Resolution der AL
Folien, Mitschnitt - Vorlesung 07 (13.11.): Eingabe-, Horn- und SLD-Resolution
Folien, Mitschnitt - Vorlesung 08 (17.11.): Tseitin-Konstruktion
Folien, Mitschnitt - Vorlesung 09 (20.11.): Syntax und Semantik der Prädikatenlogik
Folien, Mitschnitt - Vorlesung 10 (01.12.): Natürliches Schließen der PL
Folien, Mitschnitt - Vorlesung 11 (04.12.): Korrektheit und Vollständigkeit des natürlichen Schließens der PL
Semi-Entscheidbarkeit, Kompaktheit, Löwenheim-Skolem
Folien, Mitschnitt - Vorlesung 12 (08.12.): Grundresolution und Unifikation
Folien, Mitschnitt - Vorlesung 13 (11.12.): Resolution der Prädikatenlogik (gleichungslose Klauselmengen)
Folien - Vorlesung 14 (15.12.): Pränex-, Skolem- und Klauselform
Folien, Mitschnitt - Vorlesung 15 (18.12.): Erfüllbarkeits für beliebige Formeln der Prädikatenlogik
Folien
Allgemeine Informationen zum Kurs
Termine
- Vorlesungen: (Prof. Dietrich Kuske)
Montag (U), 17:00 - 18:30 Uhr, LdV-Hs 1 (Leonardo da Vinci-Bau)
Donnerstag, 13:00 - 14:30 Uhr, HU-Hs (Humboldtbau) - Übung: (Sebastian Pfau)
Montag, 11:00 - 12:30 Uhr, Sr K 2035 (Kirchhoffbau)
Montag, 13:00 - 14:30 Uhr, Sr H 2509 (Helmholtzbau) - Konsultation: (Sebastian Pfau)
Donnerstag (G), 11:00 - 12:30 Uhr, Z 2073 (Zusebau)
