Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Superperfect Number
CHF 37.25
Auf Lager
SKU
D6QVGUH7333
1 Verfügbar 
Geliefert zwischen Do., 22.01.2026 und Fr., 23.01.2026
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The superposition calculus is a calculus for reasoning in equational first-order logic. It has been developed in the early 1990s and combines concepts from first-order resolution with ordering-based equality handling as developed in the context of (unfailing) Knuth-Bendix completion. It can be seen as a generalization of either resolution (to equational logic) or unfailing completion (to full clausal logic). As most first-order calculi, superposition tries to show the unsatisfiability of a set of first-order clauses, i.e. it performs proofs by refutation. Superposition is refutation-complete given unlimited resources and a fair derivation strategy, every unsatisfiable clause set can eventually be proved to be unsatisfiable.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131270314
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- Größe H220mm x B220mm
- EAN 9786131270314
- Format Fachbuch
- Titel Superperfect Number
- Herausgeber Betascript Publishing
- Anzahl Seiten 64
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
