A Fascinating Country in The World of Computing - Larry Wos , Gail W.... - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
A Fascinating Country in The World of Computing
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

A Fascinating Country in The World of Computing

A Fascinating Country in The World of Computing

Your Guide to Automated Reasoning

Larry Wos, Gail W. Pieper

587 pages, parution le 10/10/1999

Résumé

This book shows how computers can be programmed to reason. It introduces the field of automated reasoning through examples and puzzles. The automation of reasoning has advanced markedly in the past few decades, and this book therefore discusses some of the remarkable successes which automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

Contents

  1. The menu, the map, and the magic
  2. Learning logic by example
  3. Automated reasoning in full
  4. Logic circuit design
  5. Logic circuit validation
  6. Research in mathematics
  7. Research in formal logic
  8. The formal treatment of automated reasonning
  9. Wos's biased for the effective use of OTTER
  10. An author's appraisial of his papers
  11. Open questions, hard problems, intriguing challenges
  12. Epilogue and after-dinner liqueur
  13. Featuring input files, proofs, and output file fragments

Caractéristiques techniques

  PAPIER
Éditeur(s) World Scientific
Auteur(s) Larry Wos, Gail W. Pieper
Parution 10/10/1999
Nb. de pages 587
Format 16 x 22,3
Couverture Relié
Poids 973g
Intérieur Noir et Blanc
EAN13 9789810239107

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
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription