Superperfect Number, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "Superperfect Number" bietet eine umfassende Einführung in den Superpositionskalkül, ein wichtiges Werkzeug für das ... Mehr erfahren
Produktvarianten
Superperfect Number, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Superperfect Number" 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 aus der ersten Ordnung der Resolution und der ordnungsbasierten Gleichheitsbehandlung, die im Kontext der Knuth-Bendix-Vervollständigung entstanden sind. Der Superpositionskalkül wird als Verallgemeinerung sowohl der Resolution für äquationale Logik als auch der unfailing Vervollständigung für die vollständige Klausenlogik betrachtet. Das Buch zielt darauf ab, die Unsatisfiabilität 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 unsatisfiable Klauselmenge zu beweisen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing