Logik
Aktuelles
[29.09.2014]
Die Klausureinsicht ist am Montag, 06. Oktober, 09.30-10.30 Uhr, im Raum o27/531.
[23.09.2014]
Die Logikprüfung findet am 26. September, 10-11 Uhr, im H1 statt.
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Prädikatenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Literatur
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
- Folien: Aussagenlogik
- Prädikatenlogik
Übungen
Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.
Dozent
Vorlesungszeiten
Mo 12:00 - 14:00 Uhr, Raum H20