Titre original :
A Recursive Introduction to the Theory of Computation
Contenu du livre :
L'objectif de ce manuel est de présenter un exposé de la théorie du calcul.
Après avoir introduit le concept de modèle de calcul et présenté divers exemples, l'auteur explore les limites du calcul effectif par le biais de la théorie de base de la récursivité. L'autoréférence et d'autres méthodes sont présentées comme des outils fondamentaux et de base pour la construction et la manipulation d'algorithmes.
Ensuite, le livre se penche sur la complexité des calculs et introduit la notion de mesure de la complexité. Enfin, le livre se termine par l'examen des mesures de temps et d'espace et par la classification des fonctions calculables en fonction de leur faisabilité ou de leur impossibilité. L'auteur ne suppose qu'une familiarité de base avec les mathématiques discrètes et l'informatique, ce qui rend ce manuel idéal pour un cours d'introduction de niveau supérieur.
Il est basé sur de nombreux cours de ce type présentés par l'auteur et de nombreux exercices sont donc inclus. En outre, les solutions de la plupart de ces exercices sont fournies.
Autres informations sur le livre :
| ISBN : | 9780387943329 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
