Vorlesung Logik, WS 08/09
Gerhard Brewka
Vorlesungsunterlagen
Die Unterlagen werden im Laufe des Semesters bereitgestellt (etwa
alle 2-3 Wochen).
Sie stehen erst NACH der jeweiligen Vorlesung zur Verfügung.
Einführung pdf
Teil 1: Aussagenlogik:
- Syntax und Semantik, Normalformen pdf
- Hornformeln und Resolution pdf
- Davis-Putnam-Verfahren und Tableaus pdf
Teil 2: Prädikatenlogik
- Syntax und Semantik, Normalformen pdf
- Entscheidbarkeit, Herbrand-Theorie, Resolution pdf
Teil 3: Logikprogrammierung
- Grundidee, Hornklauselprogramme, negative Information pdf
4.2.09