Logik

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 Akademischer Verlag, 2000.
Script

Übungen

Die Tutorien finden 2-wöchig statt, Beginn der Tutorien ist die Woche vom 4. bis 10. Mai.
Tutoriumstermine:

Di 10:00 - 12:00, Raum 2202, Tutor Oliver Gableske
Mi 10:00 - 12:00, Raum 429, Tutor Markus Kächele
Mi 16:00 - 18:00, Raum 3211, Tutor Oliver Gableske
Fr 12:00 - 14:00, Raum 2202, Tutor Timo Beller

Die Übungsblätter werden jeden zweiten Dienstag in der Vorlesung ausgeteilt und sind auch auf dieser Webseite verfügbar. Abgabe ist jeweils der darauffolgende Montag um 12:30.
Scheinkriterien:
Einen Schein erhalten alle, die insgesamt mindestens 50 % der Punkte für schriftliche Aufgaben erreichen. Die Aufgaben dürfen alleine oder in Zweiergruppen in den Briefkästen vor H20 abgegeben werden.

Übungsblätter: