Logik

Aktuelles

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.

Vorlesungszeiten

Mo. 12 - 14 Uhr, Raum H20 (O27)

Die erste Vorlesung findet am 24.04.2017 statt.

Übungsleiter

Patrick Scharpfenecker

Weitere Informationen

LSF-Eintrag

LSF-Eintrag (Übung)