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.