Error title
Some error text about your books and stuff.
Close

Set Theory for Computing from Decision Procedures to Logic Programming With Sets

by Domenico Cantone

  • ISBN: 9780387951973
  • ISBN10: 0387951970

Set Theory for Computing from Decision Procedures to Logic Programming With Sets

by Domenico Cantone

  • List Price: $169.99
  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 07/01/2001
  • ISBN: 9780387951973
  • ISBN10: 0387951970
new Add to Cart $158.15
You save: 7%
FREE economy shipping!
ebook Buy $47.70
License: 30 days (until 05/26/2024)
Product notice May come without consumable supplements like access codes, CD's, or workbooks.
Show more
Close
Description: 1 What Is Computable Set Theory?.- 2 Logical Background.- 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.- 8 Set/Hyperset Unification Algorithms.- 9 (*) A Syllogistic Solitaire.- 10 Stratified Syllogistics.- 11 Quantitative Set Reasoning.- 12 Set Theory for Nonclassic Logics.- 13 Logic Programming with Sets.- 14 Syllogistic Tableaux.- References.- Tables and Index of Symbols.- Association and priority rules.- Truth tables.- Common abbreviations in first-order languages.- Substitution-related notation.- Map-related notation.- Function-related notation.- Basic laws on sets.- Abbreviations in mathematical English.- Index of Terms.
Expand description
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).