This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent calculi and the refutation method known as resolution are treated in detail. Various strategies for pruning resolution search spaces, such as linear, hyper- and ordered resolution are covered. Numerous examples are presented to illustrate the examples discussed. As a result students will find this a readily accessible introduction to this subject.
Deduction Systems
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
fair derivation tree, negative calculi, fair derivation strategies, unsorted clauses, deduction efficiency, unit refutable, resolution search spaces, nonground clauses, clause closures, refutation algorithms, factorization rule, converting formulae, negative calculus, redundant with respect, pure clauses, generalized signatures, hyperresolution step, subterm sharing, refutation completeness, many unifiers, resolution calculi, steamroller problem, unsatisfiable set, resolution derivation, sorted setting Key Phrases - Capitalized Phrases (CAPs): (learn more)
Herbrand's Theorem, Principle of Mathematical Induction, Zorn's Lemma, Gentzen's Sharpened Hauptsatz, Substitution Lemma, Double Negation, Schubert's Steamroller New!
Books on Related Topics | Concordance Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
fair derivation tree, negative calculi, fair derivation strategies, unsorted clauses, deduction efficiency, unit refutable, resolution search spaces, nonground clauses, clause closures, refutation algorithms, factorization rule, converting formulae, negative calculus, redundant with respect, pure clauses, generalized signatures, hyperresolution step, subterm sharing, refutation completeness, many unifiers, resolution calculi, steamroller problem, unsatisfiable set, resolution derivation, sorted setting Key Phrases - Capitalized Phrases (CAPs): (learn more)
Herbrand's Theorem, Principle of Mathematical Induction, Zorn's Lemma, Gentzen's Sharpened Hauptsatz, Substitution Lemma, Double Negation, Schubert's Steamroller New!
Books on Related Topics | Concordance Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 11
books:
See all 11 books this book cites
13
books
cite this book:
See all 13 books citing this book
- First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by Melvin Fitting in Front Matter, and Back Matter
- Introduction to Mathematical Logic, Fourth Edition by E. Mendelson in Back Matter
- A Recursive Introduction to the Theory of Computation (Texts in Computer Science) by Carl Smith in Front Matter
- Algorithmic Graph Theory by Alan Gibbons in Back Matter
- Graph Theory With Applications by John Adrian Bondy in Back Matter
See all 11 books this book cites
- Programming Challenges by Steven S. Skiena in Back Matter
- Software Reliability Methods (Texts in Computer Science) by Doron A. Peled in Back Matter
- Refinement Calculus: A Systematic Introduction (Texts in Computer Science) by Ralph-Johan Back in Front Matter
- On Concurrent Programming (Texts in Computer Science) by Fred B. Schneider in Front Matter
- Theory of Computation (Texts in Computer Science) by Dexter C. Kozen in Back Matter
See all 13 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Robotics
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
