Organisation der Vorlesung

Allgemeines

• Die Lehrveranstaltung orientiert sich am Lehrbuch: S. Hölldobler:
  LOGIK und LOGIKPROGRAMMIERUNG, Synchron Publishers GmbH, 3. Auflage, 2003
• Die Vorlesung beginnt am Mittwoch den 5. April 2006 und findet von da an 14-tägig statt.

Folien zur Vorlesung:

• Folien zur Prädikatenlogik, Kap. 4.1. bis 4.8.
  Die ersten 36 Folien zu Kap. 4.1. bis 4.3. sollten sich gegenüber denen, welche im Wintersemester veröffentlicht wurden, nicht geändert haben.
  Ab Kapitel 4.5. gibt es Änderungen.
• Folien zur Logikprogrammierung
  

Wir möchten darauf hinweisen, dass die Folien zur Prädikatenlogik vom Inhalt des Buches an mehreren Stellen abweichen.
In diesen Fällen ist der Inhalt der Folien als verbindlich anzusehen.