Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 12 votes.
Titre original :
Decision Procedures: An Algorithmic Point of View
Contenu du livre :
Une procédure de décision est un algorithme qui, étant donné un problème de décision, se termine par une réponse correcte oui/non. Ici, les auteurs se concentrent sur les théories qui sont suffisamment expressives pour modéliser des problèmes réels, mais qui sont toujours décidables.
Plus précisément, le livre se concentre sur les procédures de décision pour les théories du premier ordre qui sont couramment utilisées dans la vérification et le raisonnement automatisés, la résolution de théorèmes, l'optimisation de compilateurs et la recherche opérationnelle. Les techniques décrites dans le livre s'inspirent de domaines tels que la théorie des graphes et la logique, et sont couramment utilisées dans l'industrie. Les auteurs introduisent la terminologie de base des théories de satisfiabilité modulo puis, dans des chapitres distincts, étudient les procédures de décision pour chacune des théories suivantes : logique propositionnelle égalités et fonctions non interprétées arithmétique linéaire vecteurs de bits tableaux pointeurs logique et formules quantifiées.
Ils étudient également le problème de la décision de théories combinées et consacrent un chapitre aux techniques modernes basées sur une interaction entre un solveur SAT et une procédure de décision pour la théorie étudiée. Ce manuel a été utilisé pour enseigner des cours de premier et deuxième cycles à l'ETH de Zurich, au Technion de Haïfa et à l'Université d'Oxford.
Chaque chapitre comprend une bibliographie détaillée et des exercices. Les diapositives des conférenciers et une bibliothèque C++ pour le prototypage rapide de procédures de décision sont disponibles sur le site web des auteurs.
Autres informations sur le livre :
| ISBN : | 9783662504963 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2017 |
| Nombre de pages : | 356 |
Achat:
Actuellement disponible, en stock.
