GEOTRUST SSL CERTIFICATE
Titre : | Introduction à la calculabilité : cours et exercices corrigés ; 2e cycle, écoles d'ingénieurs |
Auteurs : | Pierre Wolper, Auteur |
Type de document : | texte imprimé |
Mention d'édition : | 3e éd. |
Editeur : | Paris : Dunod, 2006 |
Collection : | Sciences sup |
Sous-collection : | Informatique |
ISBN/ISSN/EAN : | 978-2-10-049981-6 |
Format : | IX-224 p. / 24 x 17 cm |
Note générale : |
Bibliogr. Index |
Langues: | Français |
Index. décimale : | 378.64 |
Mots-clés: | informatique ; manuels d'enseignement supérieur ; fonctions calculables |
Résumé : |
La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Les langages formels, les automates et les grammaires puis la notion de calculabilité par le biais des machines de Turing et des fonctions récursives sont présentés. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |