Superposition Calculus, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
29,00 €
Variante
Das Buch "Superposition Calculus" bietet eine umfassende Einführung in den Superpositionskalkül, ein wichtiges Werkzeug für das logische Schliessen in der äquationalen Prädikatenlogik. Entwickelt in den frühen 1990er Jahren, vereint es Konzepte der ersten Ordnung mit einer ordnungsbasierten Handhabung von Gleichheit, die im Kontext der Knuth-Bendix-Vervollständigung entstanden ist. Der Superpositionskalkül stellt eine Verallgemeinerung sowohl der Resolution als auch der vollständigen Klausel-Logik dar. Das Buch zielt darauf ab, die Unsatisfizierbarkeit einer Menge von ersten Ordnung Klauseln zu zeigen, indem es Beweise durch Widerlegung führt. Es wird erläutert, dass der Superpositionskalkül unter idealen Bedingungen und mit einer fairen Ableitungsstrategie in der Lage ist, jede unsatisfizierbare Klauselmenge zu beweisen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
