Avis des lecteurs
Résumé:Le livre « Mathematical Logic for Computer Science » de Mordechai Ben-Ari est mis en avant pour sa présentation lucide et ses applications pratiques dans les contextes mathématiques et informatiques. Bien que la troisième édition soit louée pour son organisation et son contenu améliorés, certains utilisateurs ont rencontré des problèmes avec les versions numériques liés à la lenteur des performances et aux symboles mathématiques mal rendus.
Avantages:⬤ Présentation claire de la logique propositionnelle et de la logique du premier ordre.
⬤ Les applications pratiques en informatique améliorent la compréhension de la logique mathématique.
⬤ La troisième édition présente une meilleure organisation et un meilleur contenu que la deuxième édition.
⬤ Couvre efficacement la déduction naturelle de Gentzen et le calcul séquentiel.
⬤ Des références pour une étude plus approfondie sont fournies à la fin de chaque chapitre.
⬤ Les versions pour lecteurs électroniques seraient lentes.
⬤ Des problèmes de rendu des symboles mathématiques sur les appareils Kindle affectent l'intelligibilité.
⬤ Certains utilisateurs ont trouvé la deuxième édition trop computationnelle et maladroite pour des lecteurs non informaticiens.
(basé sur 5 avis de lecteurs)
Titre original :
Mathematical Logic for Computer Science
Contenu du livre :
Mathematical Logic for Computer Science est un manuel de mathématiques avec des théorèmes et des preuves, mais le choix des sujets a été guidé par les besoins des étudiants en informatique. La méthode des tableaux sémantiques offre une façon élégante d'enseigner la logique qui est à la fois solide sur le plan théorique et facile à comprendre. L'utilisation uniforme de techniques basées sur les tableaux facilite l'apprentissage de systèmes logiques avancés basés sur ce que l'étudiant a appris des systèmes élémentaires.
Les systèmes logiques présentés sont : la logique propositionnelle, la logique du premier ordre, la résolution et son application à la programmation logique, la logique de Hoare pour la vérification des programmes séquentiels, et la logique temporelle linéaire.
Pour la vérification des programmes concurrents.
La troisième édition a été entièrement réécrite et comprend de nouveaux chapitres sur des sujets centraux de l'informatique moderne : les solveurs SAT et le model checking.
Autres informations sur le livre :
| ISBN : | 9781447141280 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2012 |
| Nombre de pages : | 346 |
Achat:
Actuellement disponible, en stock.
