Set Theory for Computing

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 $79.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

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.

Set Theory for Computing

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 Computer Science

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

A Brief History of Information Networks from the Stone Age to AI

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Creative Machines

AI, Art & Us

Quantum Gravity and Computation

1st Edition - Information, Pregeometry, and Digital Physics

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Power of Design and Convergence of AI

The Power of Design and Convergence of AI

Driving Intelligence: The Green Book

Routes to Autonomy

Generative AI for Communications Systems

Fundamentals, Applications, and Prospects

Software Architecture with C++ - Second Edition

Designing robust C++ systems with modern architectural practices

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Operation Carder Kaos

How One Agent Penetrated the Underground Economy

Practical Approach to Open Source Intelligence (OSINT)

Volume 2

Operation Carder Kaos

How One Agent Penetrated the Underground Economy

Generative Artificial Intelligence

Technology and Applications

This product is categorised by