zum Inhalt springen

Parallele Algorithmen

Die Vorlesung behandelt die folgenden Themen:

  • Syntax und Semantik der Aussagenlogik und der Prädikatenlogik der 1. Stufe
  • Normalformen
  • Wissensrepräsentation durch Hornlogik
  • Herbrand-Theorie
  • Unifikation
  • Resolutionskalkül, Vollständigkeit der Aussagenlogik und der Prädikatenlogik

Literatur:

  • Schöning, U.: Logik für Informatiker. Spektrum Verlag, 2000.