Titre : |
Introduction à la calculabilité : Cours et Exercices Corrigés |
Type de document : |
texte imprimé |
Auteurs : |
PIERRE WOLPER, Auteur |
Mention d'édition : |
2 EME EDITION |
Editeur : |
PARIS : DUNOD |
Année de publication : |
2001 |
Collection : |
SCIENCES SUP |
Importance : |
209 p. |
Présentation : |
Couv. Ill. Imag. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-10-004853-3 |
Note générale : |
BIBLIOGR . INDEX |
Langues : |
Français (fre) |
Index. décimale : |
005.1 |
Résumé : |
Cet ouvrage présente les éléments essentiels de cette science qui consiste à étudier ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quelle que soit 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.
Ce manuel comporte de nombreux exercices d'application, ainsi que leurs corrigés.
Cette troisième édition s'enrichit d'une section sur l'interprétation de la non-calculabilité et approfondit la notion de NP-complétude.
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. |
Introduction à la calculabilité : Cours et Exercices Corrigés [texte imprimé] / PIERRE WOLPER, Auteur . - 2 EME EDITION . - , 2001 . - 209 p. : Couv. Ill. Imag. ; 24 cm. - ( SCIENCES SUP) . ISBN : 978-2-10-004853-3 BIBLIOGR . INDEX Langues : Français ( fre)
Index. décimale : |
005.1 |
Résumé : |
Cet ouvrage présente les éléments essentiels de cette science qui consiste à étudier ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quelle que soit 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.
Ce manuel comporte de nombreux exercices d'application, ainsi que leurs corrigés.
Cette troisième édition s'enrichit d'une section sur l'interprétation de la non-calculabilité et approfondit la notion de NP-complétude.
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. |
| |