TUD Logo

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

Faculty of Computer Science

Teaching  ·  Winter Semester 2006/7
Logik

Organisation der Vorlesung

Zeit und Ort der Vorlesung: mittwochs 5. DS (14.50 - 16.20) im HSZ/AUDI/H
Die Vorlesung beginnt am Mittwoch den 11. Oktober 2006.

Folien zur Vorlesung

Folien zur Einführung
Folien zur Aussagenlogik
Folien zur Prädikatenlogik

Die Folien orientieren sich am Lehrbuch:
S. Hölldobler: LOGIK und LOGIKPROGRAMMIERUNG, Synchron Publishers GmbH, 3. Auflage, 2003
Dieses ist leider vergriffen und auch etwas veraltet.
Eine überarbeitete Version ist in Bearbeitung. Wann sie erscheint ist noch nicht abzusehen.
Last update: Wed, 20 Dec 2006 11:18:33
Author: Bertram Fronhöfer