La machine de Turing
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Ed. du Seuil,
cop. 1995
|
| Collection: | Points. Sciences
S131 |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| 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. |
| Traduit de: | -- On computable numbers -- Computing machinery and intelligence |
| LEADER | 01713nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 291373 | ||
| 008 | 000411s1995 xxe ||| |||| 00| 0 fre d | ||
| 020 | |a 2020369281 (br.) : |c 6,95 EUR | ||
| 024 | |a 9782020369282 | ||
| 041 | 1 | |a fre |h eng | |
| 080 | |a 51 | ||
| 082 | |a 511.3 | ||
| 100 | 1 | |a Turing, Alan Mathison, |d 1912-1954. | |
| 245 | 1 | 3 | |a La machine de Turing |c Alan Turing, Jean-Yves Girard ; traduit de l'anglais par Julien Basch et Patrice Blanchard. |
| 260 | |a Paris : |b Ed. du Seuil, |c cop. 1995 |e (61-Lonrai) : |f (Normandie roto impr.). | ||
| 300 | |a 1 vol. (174 p.) : |b portr., couv. ill. en coul. ; |c 21 cm. | ||
| 490 | 1 | |a Points. Sciences |v S131 | |
| 500 | |a Autres tirages : 1999, 2000 | ||
| 505 | | | |a Contient deux articles d'Alan Turing "Théorie des nombres calculables, suivie d'une application au problème de la décision ; Les ordinateurs et l'intelligence" | |
| 520 | |a 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. | ||
| 650 | |a Fonctions récursives | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Fonctions calculables | ||
| 650 | |a Turing, machines de | ||
| 650 | |a Automates mathématiques, théorie des | ||
| 700 | 1 | |a Girard, Jean-Yves, |d 1947- |4 aut | |
| 700 | 1 | |a Basch, Julien. |4 trl | |
| 700 | 1 | |a Blanchard, Patrice. |4 trl | |
| 765 | 0 | |t On computable numbers | |
| 765 | 0 | |t Computing machinery and intelligence | |
| 993 | |a Livre | ||
| 994 | |a PS | ||
| 995 | |a 045216045 | ||
| 997 | |0 291373 | ||