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:

Vorlesungszeiten

Dienstag 12-14 Uhr in H15

 

Übungsleiter

Martin Bader

Tutorien

Di 10:00 - 12:00 in O27/2202
Mi 10:00 - 12:00 in O27/429
Mi 16:00 - 18:00 in O27/3211
Fr 12:00 - 14:00 in O27/2201