Logik

Aktuelles


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)