Leserbewertungen
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 12 Stimmen.
Originaltitel:
Decision Procedures: An Algorithmic Point of View
Inhalt des Buches:
Ein Entscheidungsverfahren ist ein Algorithmus, der bei einem Entscheidungsproblem mit einer korrekten Ja/Nein-Antwort abschließt. Dabei konzentrieren sich die Autoren auf Theorien, die ausdrucksstark genug sind, um reale Probleme zu modellieren, aber dennoch entscheidbar sind.
Insbesondere konzentriert sich das Buch auf Entscheidungsverfahren für Theorien erster Ordnung, die häufig in der automatisierten Verifikation und Beweisführung, der Theoremprüfung, der Compileroptimierung und dem Operations Research verwendet werden. Die in diesem Buch beschriebenen Techniken stammen aus Bereichen wie der Graphentheorie und der Logik und werden in der Industrie routinemäßig eingesetzt. Die Autoren führen in die grundlegende Terminologie der Erfüllbarkeitsmodulotheorien ein und untersuchen dann in separaten Kapiteln Entscheidungsverfahren für jede der folgenden Theorien: Aussagenlogik Gleichheiten und uninterpretierte Funktionen lineare Arithmetik Bitvektoren Arrays Zeigerlogik und quantifizierte Formeln.
Sie untersuchen auch das Problem der Entscheidung von kombinierten Theorien und widmen ein Kapitel modernen Techniken, die auf einem Zusammenspiel zwischen einem SAT-Solver und einem Entscheidungsverfahren für die untersuchte Theorie basieren. Dieses Lehrbuch wurde in der Lehre an der ETH Zürich, am Technion in Haifa und an der University of Oxford eingesetzt.
Jedes Kapitel enthält eine ausführliche Bibliographie und Übungsaufgaben. Folien für Dozenten und eine C++-Bibliothek für das Rapid Prototyping von Entscheidungsverfahren sind auf der Website der Autoren verfügbar.
Weitere Daten des Buches:
| ISBN: | 9783662504963 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 356 |
Kauf:
Derzeit verfügbar, auf Lager.
