Logik

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)

Übungsleiter

Uwe Baier

Julian Nickerl

Weitere Informationen

LSF-Eintrag

LSF-Eintrag (Übung)