Avis des lecteurs
Résumé:Le livre est très apprécié pour son approche complète et pratique de la preuve automatique de théorèmes (ATP), en particulier grâce à son implémentation détaillée en OCaml. Les lecteurs apprécient la clarté et le plaisir de l'écriture, bien qu'il y ait quelques inconvénients concernant son utilisation en tant que référence.
Avantages:⬤ Excellente introduction à la démonstration automatique de théorèmes avec une progression claire des bases aux sujets avancés.
⬤ Implémentation complète des algorithmes en OCaml, améliorant la clarté et la compréhension.
⬤ Un style d'écriture agréable qui rend le sujet captivant.
⬤ Convient à la construction de votre propre prouveur de théorèmes automatisé à partir de zéro.
⬤ Considéré comme un must pour ceux qui s'intéressent aux procédures de décision automatisées.
⬤ Couverture limitée des solveurs SMT modernes.
⬤ L'utilisation d'OCaml peut être considérée comme un inconvénient par rapport à des langages plus répandus comme C++ ou Java.
⬤ La recherche des implémentations des fonctions de base peut prendre beaucoup de temps lorsque le livre est utilisé comme référence plutôt que comme tutoriel.
(basé sur 5 avis de lecteurs)
Titre original :
Handbook of Practical Logic and Automated Reasoning
Contenu du livre :
Cet ouvrage répond à la demande d'une présentation complète et détaillée des concepts, des mécanismes et de l'utilisation du raisonnement automatique.
Les fondements de la logique mathématique sont décrits en liaison avec l'application pratique, le tout avec un minimum de prérequis. L'approche est constructive, concrète et algorithmique : une caractéristique clé est que les méthodes sont décrites en référence à des implémentations réelles (pour lesquelles le code est fourni) que les lecteurs peuvent utiliser, modifier et expérimenter.
Ce livre convient parfaitement à ceux qui recherchent une source unique pour le domaine général du raisonnement automatique. Il peut être utilisé comme référence ou comme lieu d'apprentissage des principes fondamentaux, soit en conjonction avec des cours avancés, soit en auto-apprentissage.
Autres informations sur le livre :
| ISBN : | 9780521899574 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
