La machine de Turing
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris :
Éditions du Seuil
DL 1999.
61-Lonrai : Normandie roto impr |
| Sarja: | Points. Sciences
S131 |
| Aiheet: | |
| Huomautus: |
Autre tirage : 2000 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01714nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 102423 | ||
| 008 | 000411t19991995xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN045216045 | ||
| 020 | |a 9782020369282 (br.) | ||
| 020 | |a 2020369281 (br.) : |c 6,95 EUR | ||
| 024 | |a 9782020369282 | ||
| 041 | 1 | |a fre |h eng | |
| 080 | |a 51 | ||
| 082 | |a 511.3 | ||
| 082 | |a 511 | ||
| 100 | 1 | |a Turing, Alan Mathison, |d 1912-1954. | |
| 245 | 1 | 0 | |a La machine de Turing |c Alan Turing, Jean-Yves Girard ; traduit de l'anglais par Julien Basch et Patrice Blanchard ; [avant-propos de Jean-Yves Girard]. |
| 260 | |a Paris : |b Éditions du Seuil, |c DL 1999. | ||
| 260 | |a 61-Lonrai : |b Normandie roto impr. | ||
| 300 | |a 1 vol. (174 p.) : |b ill., portr., couv. ill. en coul. ; |c 18 cm. | ||
| 490 | 0 | |a Points. Sciences |v S131 | |
| 500 | |a Autre tirage : 2000 | ||
| 504 | |a Notes bibliogr. | ||
| 505 | 2 | |a Contient deux articles d'Alan Turing : "Théorie des nombres calculables" ("On computable numbers", 1937), suivie d'une application au problème de la décision ; "Les ordinateurs et l'intelligence" ("Computing machinery and intelligence", 1950) | |
| 650 | |a Fonctions récursives | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Fonctions calculables | ||
| 650 | |a Machines de Turing | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 700 | 1 | |a Girard, Jean-Yves, |d 1947-...., |c mathématicien-logicien. |4 aut | |
| 700 | 1 | |a Basch, Julien. |4 trl | |
| 700 | 1 | |a Blanchard, Patrice. |4 trl | |
| 700 | 1 | |a Girard, Jean-Yves, |d 1947-...., |c mathématicien-logicien. |4 aui | |
| 997 | |0 102423 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 004.09 TUR | ||