Résumé
This text and software package introduces readers to
automated theorem proving, while providing two approaches
implemented as easy-to-use programs. These are
semantic-tree theorem proving and resolution-refutation
theorem proving. The early chapters introduce first-order
predicate calculus, well-formed formulae, and their
transformation to clauses. Then the author goes on to show
how the two methods work and provides numerous examples for
readers to try their hand at theorem-proving experiments.
Each chapter comes with exercises designed to familiarise
the readers with the ideas and with the software, and
answers to many of the problems.
Contents
- A brief introduction to COMPILE, HERBY and THEO.
- Predicate calculus, well-formed formulas and theorems.
- COMPILE: transforming well-formed formulas to clauses.
- Inference procedures.
- Proving theorems by constructing closed semantic trees.
- Resolution-refutation proofs.
- HERBY: A semantic tree theorem prover.
- Using HERBY.
- THEO: A resolution-refutation theorem prover.
- Using THEO.
- A look at HERBY's source code.
- A look at THEO's source code.
- Other theorem provers.
- References.
L'auteur - Monty Newborn
McGill University, Montreal, QC, Canada
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Monty Newborn |
| Parution | 01/01/2001 |
| Nb. de pages | 231 |
| Format | 15,5 x 24 |
| Couverture | Relié |
| Poids | 512g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780387950754 |
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
