TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Teaching

Faculty of Computer Science

Teaching  ·  Summer Semester 2008
Logik II

Organisation der Vorlesung

Allgemeines

  • Die Lehrveranstaltung orientiert sich am Lehrbuch: S. Hölldobler:
    LOGIK und LOGIKPROGRAMMIERUNG, Synchron Publishers GmbH, 3. Auflage, 2003
  • Die Vorlesung findet mittwochs, 5.DS, im HSZ/04/H statt.
  • Die Vorlesung beginnt am 9.4. und findet dann an den folgenden weiteren Tagen statt: 23.4., 7.5., 21.5., 4.6., 18.6., 2.7. und 9.7.
    Am 16.4., 30.4., 11.6. und 25.6. macht Herr Hölldobler zur selben Zeit am selben Ort eine Fragestunde.

Folien zur Vorlesung

Folien zur Einführung
Folien zur Aussagenlogik (1-101)
Folien zur Prädikatenlogik
Folien zu Grundlagen der 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.

Zusätzliche Texte zur Vorlesung:

Zur Semantik nicht abgeschlossener Formeln
und zum natürlichen Schliessen in Aussagenlogik
und Prädikatenlogik.
Last update: Mon, 7 Jul 2008 10:35:57
Author: Bertram Fronhöfer