- EAN13
- 9782100499816
- ISBN
- 978-2-10-049981-6
- Éditeur
- Dunod
- Date de publication
- 28/09/2006
- Collection
- Sciences Sup
- Nombre de pages
- 240
- Dimensions
- 24 x 17 cm
- Poids
- 393 g
- Langue
- français
- Code dewey
- 005.131
- Fiches UNIMARC
- S'identifier
Introduction à la calculabilité - 3ème édition
cours et exercices corrigés
De Pierre Wolper
Dunod
Sciences Sup
Offres
La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage 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és les notions de complexité et les problèmes NP-complets.
S'identifier pour envoyer des commentaires.