GEOTRUST SSL CERTIFICATE
| Titre : | La machine de Turing |
| Auteurs : | Alan Mathison Turing, Auteur ; Jean-Yves Girard, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Seuil, 1999 |
| Collection : | Points, ISSN 0768-1143 |
| Sous-collection : | Sciences, num. 131 |
| ISBN/ISSN/EAN : | 978-2-02-036928-2 |
| Format : | 192 p. / 18 x 11 cm |
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 511 (Logique mathématique, Jeux mathématiques) |
| Mots-clés: | Turing, machines de |
| Résumé : |
Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
