Avis des lecteurs
Résumé:Le livre fournit une explication détaillée de la logique dynamique, la rendant accessible pour la compréhension de diverses constructions logiques. Il souligne l'importance de la logique formelle dans le génie logiciel et ses applications dans le raisonnement sur les algorithmes informatiques.
Avantages:⬤ Explication claire et complète de la logique dynamique.
⬤ Un aperçu précieux de la logique formelle et de sa pertinence pour les ingénieurs en informatique.
⬤ Aide à construire une base pour comprendre les extensions de la logique telles que la logique modale et temporelle.
⬤ Certains lecteurs peuvent trouver que le livre n'est qu'une introduction (« appetizer ») sans entrer dans les détails avancés.
⬤ Ne traite pas des logiciels de raisonnement automatique, ce à quoi certains lecteurs pourraient s'attendre.
(basé sur 3 avis de lecteurs)
Titre original :
Dynamic Logic
Contenu du livre :
Ce livre est la première introduction complète à la logique dynamique.
Parmi les nombreuses approches du raisonnement formel sur les programmes, la logique dynamique présente l'avantage singulier d'être fortement liée à la logique classique. Ses variantes constituent des généralisations et des extensions naturelles des formalismes classiques. Par exemple, la logique dynamique propositionnelle (PDL) peut être décrite comme un mélange de trois ingrédients classiques complémentaires : le calcul propositionnel, la logique modale et l'algèbre des événements réguliers. Dans la logique dynamique du premier ordre (DL), le calcul propositionnel est remplacé par le calcul classique des prédicats du premier ordre. La logique dynamique est un système d'une unité remarquable, riche sur le plan théorique et utile sur le plan pratique. Elle peut être utilisée pour formaliser des spécifications de correction et prouver rigoureusement que ces spécifications sont respectées par un programme particulier. D'autres utilisations incluent la détermination de l'équivalence des programmes, la comparaison de la puissance expressive de diverses constructions de programmation et la synthèse de programmes à partir de spécifications.
Cet ouvrage constitue la première introduction complète à la logique dynamique. Il est divisé en trois parties. La première partie passe en revue les concepts fondamentaux de la logique et de la théorie de la calculabilité et peut être considérée comme une introduction à ces sujets. La deuxième partie traite de la PDL et de ses variantes, et la troisième partie traite de la DL et de ses variantes. Des exemples sont fournis tout au long de l'ouvrage, et des exercices ainsi qu'une brève section historique sont inclus à la fin de chaque chapitre.
Autres informations sur le livre :
| ISBN : | 9780262527668 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
