Steffen Hölldobler
Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
2011, XXVI u. 474 Seiten,
zahlr. Abb. u. Schemata, Brosch.
ISBN 978-3-935025-85-0
Subskriptionspreis (gültig bis 31.08.2011): € 29,80
danach € 39,80
- Die Autoren
- Vorbemerkung
- Generelles zur vorliegenden Aufgabensammlung
- Aufbau der Aufgabensammlung
- Querverweise
- Schwierigkeitsgrad der Aufgaben
- Notation und Konventionen
- Prolog-Programme
- Verzeichnis der Aufgaben und Lösungen
- Übersicht der im Lehrbuch erwähnten Aufgaben
Teil I: Aufgaben (S. 1–120)
- Logikprogrammierung am Beispiel Prolog
- Logikprogrammierung mit einfachen Daten
- Syntax
- Komplexe Daten
- Der Cut
- Negation als Fehlschlag
- Aussagenlogik
- Syntax
- Semantik
- Äquivalenz und Normalformen
- Beweisverfahren
- Testen auf Erfüllbarkeit
- Eigenschaften
- Prädikatenlogik
- Syntax
- Substitutionen
- Semantik
- Äquivalenz und Normalform
- Unifikation
- Beweisverfahren
- Eigenschaften
- Grundlagen der Logikprogrammierung
- Definite Programme
- Normale Programme
Teil II: Lösungen (S. 121–474)