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.
Resolution (logic)
CHF 49.05
Auf Lager
SKU
1VLVEG64CNV
1 Verfügbar 
Geliefert zwischen Fr., 30.01.2026 und Mo., 02.02.2026
Details
High Quality Content by WIKIPEDIA articles! In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable; this method may prove the satisfiability of a first-order satisfiable formula, but not always, as it is the case for all methods for first-order logic. Resolution was introduced by John Alan Robinson in 1965.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130343170
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Sprache Englisch
- Größe H220mm x B150mm x T7mm
- Jahr 2010
- EAN 9786130343170
- Format Fachbuch
- ISBN 978-613-0-34317-0
- Titel Resolution (logic)
- Untertitel Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Logic, Propositional Formula, John Alan Robinson, Modus Ponens
- Gewicht 203g
- Herausgeber VDM Verlag Dr. Müller e.K.
- Anzahl Seiten 124
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
