An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
Set Theory for Computing
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for Students. 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)
Editorial Reviews
Review
From the reviews:
"The book is an up-to-date and well-organized collection of techniques and results concerning the problem of dealing with sets in computer science. … In particular, the book can be very interesting for postgraduate students and researchers in computer science and logic. … The book is largely self-contained and the style of presentation is extremely rigorous and accurate. ... this will become a sort of classic work for automated deduction and declarative programming and surely it deserves to find a place in all scientific libraries." (A. Dovier, Theory and Practise of Logic Programming, Vol. 3 (1), 2003)
"Set theory has played the role of a lingua franca for modern mathematics. The authors of this monograph intend to extend this service to computer science, artificial intelligence, and computational mathematics. … Several variants of ZF, which are meant for different applications, are surveyed and concrete, computable models are investigated. … There is an extensive list of references, an index of symbols and an index of terms." (J.M. Plotkin, Zentralblatt MATH, Vol. 981, 2002)
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)
First Sentence:
Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
multilevel syllogistic, delivering partition, inspection predicates, return unify, elementary sublanguages, powerset axiom, propositional tableaux, map calculus, singleton operator, unfulfilled item, hyperset theory, tableau calculus, membership literals, membership cycle, mimicking game, unquantified formula, theory whose axioms, solvable form, uninterpreted function symbols, clause base, powerset operator, set unification, tableau calculi, saturation strategy, closed tableau Key Phrases - Capitalized Phrases (CAPs): (learn more)
Exercises Exercise, Prove Lemma, Set-Based Conceptual Tools, Therefore Algorithm, Translation of Propositional Modal Formulas New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
multilevel syllogistic, delivering partition, inspection predicates, return unify, elementary sublanguages, powerset axiom, propositional tableaux, map calculus, singleton operator, unfulfilled item, hyperset theory, tableau calculus, membership literals, membership cycle, mimicking game, unquantified formula, theory whose axioms, solvable form, uninterpreted function symbols, clause base, powerset operator, set unification, tableau calculi, saturation strategy, closed tableau Key Phrases - Capitalized Phrases (CAPs): (learn more)
Exercises Exercise, Prove Lemma, Set-Based Conceptual Tools, Therefore Algorithm, Translation of Propositional Modal Formulas New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 53
books:
See all 53 books this book cites
9
books
cite this book:
See all 9 books citing this book
- Symbolic Logic by Clarence Irving Lewis in Back Matter (1), and Back Matter (2)
- Artificial Intelligence by W. (ed) Bibel in Back Matter (1), and Back Matter (2)
- Relational Databases and Knowledge Bases by Georges Gardarin in Back Matter
- Integer and Combinatorial Optimization by Laurence A. Wolsey in Back Matter
- Integer Programming (Decision & Control) by R. Garfinkel in Back Matter
See all 53 books this book cites
- Software Configuration Management Using Vesta (Monographs in Computer Science) by Clark Allan Heydon in Front Matter
- Evolutionary Synthesis of Pattern Recognition Systems (Monographs in Computer Science) by Bir Bhanu in Front Matter
- High Performance Discovery in Time Series: Techniques and Case Studies (Monographs in Computer Science) by New York University in Front Matter
- Super-Recursive Algorithms (Monographs in Computer Science) by Mark Burgin in Front Matter
- Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) by Iman Poernomo in Front Matter
See all 9 books citing this book
Books on Related Topics
(learn more)
|
|
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
