Research Catalog

Set theory for computing : from decision procedures to declarative programming with sets

Title
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz.
Author
Cantone, Domenico
Publication
New York : Springer, [2001], ©2001.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA248 .C1945 2001Off-site

Holdings

Details

Additional Authors
  • Omodeo, Eugenio
  • Policriti, Alberto
Description
xviii, 409 pages : illustrations; 24 cm.
Series Statement
Monographs in computer science
Uniform Title
Monographs in computer science.
Subject
  • Set theory
  • Computable functions
Bibliography (note)
  • Includes bibliographical references (p. [374]-391) and index.
Contents
I. Introduction. 1. What Is Computable Set Theory? 2. Logical Background -- II. Basics for Set-Theoretic Reasoning. 3. Axiomatic Views of Aggregates. 4. Semantic Views of Aggregates. 5. Sets for Problem Solving. 6. Decision Problems and Some Solutions. 7. Inference Techniques and Methods -- III. Decision Methods. 8. Set/Hyperset Unification Algorithms. 9. (*) a Syllogistic Solitaire. 10. Stratified Syllogistics -- IV. Set-Specific Inference Engines. 11. Quantitative Set Reasoning. 12. Set Theory for Nonclassic Logics. 13. Logic Programming with Sets. 14. Syllogistic Tableaux.
ISBN
0387951970 (alk. paper)
LCCN
2001020446
OCLC
  • ocm46240279
  • SCSB-4165947
Owning Institutions
Columbia University Libraries