La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique ; il s'agit d'informatique théorique, directement issue de la logique mathématique et qui s'enseigne en 2e cycle. Cette nouvelle édition est l'occasion d'étendre le dernier chapitre, qui traite de complexité, et d'introduire de nouveaux exercices et corrigés. ©Electre 2025
Dans un monde de l'informatique en perpétuelle évolution, une connaissance élémentaire de la théorie de la calculabilité reste plus que jamais indispensable à l'informaticien, qui se pose sans cesse la question des limites de l'informatique. La théorie de la calculabilité y apporte des réponses. Elle démontre notamment que certains problèmes informatiques ne peuvent pas être résolus par des programmes.
Cet ouvrage présente les éléments essentiels de cette science qui consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quels que soient le type et les performances de la machine utilisée. Il aborde en premier lieu les langages formels, les automates et les grammaires puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu, sont étudiées les notions de complexité, et plus particulièrement les problèmes NP-complets.
Si ce livre constitue avant tout un cours destiné aux étudiants en informatique, il s'adresse également aux professionnels désireux de mieux comprendre cette science.
Dans cette seconde édition, le nombre des exercices s'est considérablement accru et les solutions d'exercices sélectionnés sont maintenant données.
Paru le : 10/01/2001
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Pierre Wolper
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782100048533
Reliure : Broché
Pages : IX-209
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.2 cm
Poids: 382 g
Carte fidélité
Mollat Radio
