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
Teil 3: Logikprogrammierung
Grundidee, Hornklauselprogramme, negative Information pdf
Folien zur Vorlesung (letzter update 16. Mai): Teil 1: pdf, Teil 2: pdf, Teil 3: pdf
Hinweis: Die Folien sind aktueller als die obigen Texte. Sie enthalten alle relevanten Definitionen und Resultate. Die Texte enthalten weitere Beispiele, die zum Teil in der Vorlesung an der Tafel behandelt werden.
16.05.2019