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 wöchentlich statt und zwar mittwochs in der 4. DS im Hörsaal HSZ/AUDI.
  Die erste Vorlesung findet am Mittwoch den 12. Oktober 2005 statt.
  Weitere Termine: 19. Okt, 26. Okt, 2. Nov, 9. Nov, 23. Nov, 30. Nov, 7. Dez, 14. Dez, 21. Dez, 4. Jan, 11. Jan, 18. Jan, 25. Jan, 1. Feb.

Folien zur Vorlesung:

Folien zur Einführung
Folien zur Aussagenlogik
Folien zur Prädikatenlogik
Die Folien zur Aussagenlogik sind bis Kapitel 3.3 einschließlich durchgesehen und es sollte sich da nicht mehr viel ändern.
Auf dahinterliegenden Seiten sind zukünftige Änderungen nicht unwahrscheinlich.
Wir möchten darauf hinweisen, dass die Folien in Notation und Inhalt vom oben genannten Buch an mehreren Stellen abweichen.
In diesen Fällen ist der Inhalt der Folien als verbindlich anzusehen.