Logik
Aktuelles
Die Einsicht der Zweitklausur findet am Freitag den 27.10. von 15:00 Uhr bis 16:00 Uhr in Raum O27/531 statt.
Die Zweitklausur findet am Dienstag, den 17.10.2017 um 14:00 Uhr s.t. in den Räumen H21 und H13 statt. Die Raumzuordnung lautet wie folgt:
- Nachname beginnend mit A-J: H21
- Nachname beginnend mit K-Z: H13
Der Bearbeitungszeitraum für die Klausur beträgt 50 Minuten, als Hilfsmittel ist ein handbeschriebenes DIN-A4 Blatt zugelassen.
Die Einsicht der Erstklausur findet am Donnerstag den 17.8. von 14:00 Uhr bis 15:00 Uhr in Raum O27/531 statt.
Die Erstklausur findet am Montag, den 24.07.2017 um 14:00 Uhr s.t. im Raum H22 statt.
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Prädikatenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Grundlagen von PROLOG
Literatur
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
Übungen
Die Übungen werden über Moodle organisiert.
Dozent
Vorlesungszeiten
Mo. 12 - 14 Uhr, Raum H20 (O27)
Die erste Vorlesung findet am 24.04.2017 statt.