Vorlesung über "Logik für Informatiker"

Die Vorlesung "Logik für Informatiker" 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

Termine

Dienstags 14.00-15.30 Uhr im Seminarraum 616, Pohlighaus.

Literatur

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