Monographs in Computer Science

From Decision Procedures to Declarative Programming with Sets

By: Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Write A Review

Hardcover | 26 June 2001

At a Glance

Hardcover
432 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice. Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and accurate. Some familiarity with symbolic logic is helpful but not a requirement. This book is a useful resource for all advanced students, professionals, and researchers in computing sciences, artificial intelligence, automated reasoning, logic, and computational mathematics. It will serve to complement their intuitive understanding of set concepts with the ability to master them by symbolic and logically based algorithmic methods and deductive techniques.

Industry 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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Set Theory Applied Mathematics Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Programming & Scripting Languages Databases

Data Capture & Analysis Compilers & Interpreters

Foreword
Preface
Introduction	p. 1
What Is Computable Set Theory?	p. 3
Logical Background	p. 14
Basics for Set-Theoretic Reasoning	p. 59
Axiomatic Views of Aggregates	p. 61
Semantic Views of Aggregates	p. 87
Sets for Problem Solving	p. 112
Decision Problems and Some Solutions	p. 148
Inference Techniques and Methods	p. 196
Decision Methods	p. 245
Set/Hyperset Unification Algorithms	p. 247
(*) a Syllogistic Solitaire	p. 265
Stratified Syllogistics	p. 284
Set-Specific Inference Engines	p. 305
Quantitative Set Reasoning	p. 307
Set Theory for Nonclassic Logics	p. 318
Logic Programming with Sets	p. 340
Syllogistic Tableaux	p. 350
References	p. 374
Tables and Index of Symbols	p. 393
Index of Terms	p. 399
Table of Contents provided by Blackwell. All Rights Reserved.

Monographs in Computer Science

From Decision Procedures to Declarative Programming with Sets

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Mathematical Foundations of Blockchains

Fundamentals, Volume 1

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Nonlinear Analysis for Human Movement Variability

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Introduction to Modern Cryptography

Revised Third Edition

Theory of Computation for Software Developers

Theory of Computation for Software Developers

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Zhang Time Discretization (ZTD) Formulas and Applications

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Surveys in Combinatorics 2026

London Mathematical Society Lecture Note Series

Applied Mathematics with F#

This product is categorised by