Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets / Edition 1

by Domenico Cantone, J.T. Schwartz, Eugenio Omodeo, Alberto Policriti

Overview

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.

Product Details

ISBN-13:	9781441929051
Publisher:	Springer New York
Publication date:	09/21/2011
Series:	Monographs in Computer Science Series
Edition description:	Softcover reprint of the original 1st ed. 2001
Pages:	409
Product dimensions:	6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

What is Computable Set Theory?
• Logical Background
• Axiomatic Views of Aggregates
• Semantic Views of Aggregates
• Sets for Problem Solving
• Decision Problems and Some Solutions
• Inference Techniques and Methods
• Set/Hyperset Unification Algorithms
• A Syllogistic Solitaire
• Stratified Syllogistics
• Quantitative Set Reasoning
• Set Theory for Non-Classical Logics
• Logic Programming With Sets
• Syllogistic Tableaux

Editorial Reviews

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)

From the Publisher