Introduction à la calculabilité
Cours et exercices corrigés
Pierre Wolper - Collection Sciences sup
Résumé
Dans le 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é 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 à é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.
L'auteur - Pierre Wolper
Pierre Wolper, docteur en informatique de
l'universite de Stanford, auteur de
nombreux articles sur la theorie de
l'informatique, est professeur
d'informatique a l'universite de Liege. Il a
travaille plusieurs annees aux Bell
Laboratoires de AT&T.
Sommaire
- Préface
- Préface à la seconde édition
- Préface à la troisième édition
- Introduction
- Les automates finis
- Les grammaires régulières
- Automates à pile et langages hors-contexte
- Les machines de turing
- Les fonctions récursives
- La non-calculabilité
- La complexité
- Solutions des exercices
- Bibliographie
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dunod |
| Auteur(s) | Pierre Wolper |
| Collection | Sciences sup |
| Parution | 28/09/2006 |
| Édition | 3eme édition |
| Nb. de pages | 224 |
| Format | 17 x 24 |
| Couverture | Broché |
| Poids | 414g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782100499816 |
| ISBN13 | 978-2-10-049981-6 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Techniques de programmation Programmation parallèle et multithreading
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Informatique Développement d'applications Technologies objet Programmation objet
