Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

By: Domenico Cantone, J.T. Schwartz (Foreword by), Eugenio Omodeo

Write A Review

Hardcover | 26 June 2001

At a Glance

Hardcover
432 Pages

Dimensions(cm)
23.39 x 15.6 x 2.39

Hardcover

$403.75

or 4 interest-free payments of $100.94 with

or

Ships in 10 to 15 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.

More in Compilers & Interpreters

Applied Mathematics with F# - Sudipta Mukherjee

$45.60

20%
OFF

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Paperback

RRP $18.99

$15.19

20%
OFF

Pragmatic Programmers : Pragmatic Programmers - Terence Parr

$15.75

51%
OFF

Clean Ruby : A Guide to Crafting Better Code for Rubyists - Carleton DiLeo

$41.75

52%
OFF

Compilers

Principles, Techniques, and Tools

Hardcover

RRP $295.96

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$240.75

Compilers : A Practical Approach - James E Jr Miller

$69.75

Graph Transformation : 19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings - Blair Archibald

$28.75

Crafting Interpreters

Paperback

RRP $87.99

$75.75

14%
OFF

Compiler Design Using Java®

An Object-Oriented Approach

Paperback

RRP $83.55

$72.75

13%
OFF

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 Compilers & Interpreters

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

Flex & Bison

O'Reilly Ser.

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Crafting Interpreters

Compiler Design Using Java®

An Object-Oriented Approach

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Pro Spring Boot 4

An Authoritative Guide with Best Practices

C++23 - The Complete Guide

Proof in VDM : Case Studies

Formal Approaches to Computing and Information Technology

This product is categorised by