Set Theory for Computing
Domenico Cantone, Eugenio Omodeo, Alberto Policriti
410 pages, parution le 15/04/2001
Résumé
Set Theory for Computing offers an up-to-date and
comprehensive account of set-oriented symbolic manipulation
and automated reasoning methods. Mastering today's variety
of systems with crisp, formal tools is a prerequisite for a
high degree of control over sets and aggregates. The many
algorithmic methods and deductive techniques in this book
offer readers a clear view of the use of set-theoretic
ntions in such critical areas as specification of problems,
data types, and solution methods; algorithmic program
verification, and automated deduction. The rigorous and
largely self-contained style of presentation addresses
readers wanting to complement their set intuition with the
ability to exploit it in specification and verification and
master it by symbolic, logically based techniques. methods.
This book will be of interest to graduates and researchers
in theoretical computer science and computational logic and
automated reasoning.
Contents
- What is Computable Set Theory?
- Logical Background
- Axiomatic Views of Aggregates
- Semantic Views of Aggregates
- Sets for Problem Solving
- Decision Problems and Some Solutions
- Inference Techniques and Methods
- Set/Hyperset Unification Algorithms
- A Syllogistic Solitaire
- Stratified Syllogistics
- Quantitative Set Reasoning
- Set Theory for Non-Classical Logics
- Logic Programming With Sets
- Syllogistic Tableaux
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Domenico Cantone, Eugenio Omodeo, Alberto Policriti |
| Parution | 15/04/2001 |
| Nb. de pages | 410 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 700g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780387951973 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
