Machines de Turing et automates cellulaires : du trait gravé au très animé
Enregistré dans:
Auteur principal: | |
---|---|
Support: | Livre |
Langue: | Français |
Publié: |
Paris :
Ellipses,
impr. 2008.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Résumé: | Présentation du fonctionnement de la machine conçue en 1936 par Alan Turing pour savoir si une proposition mathématique est démontrable, ainsi que des automates cellulaires. |
Résumé: | Présentation du fonctionnement de la machine conçue en 1936 par Alan Turing pour savoir si une proposition mathématique est démontrable, ainsi que des automates cellulaires. |
---|---|
Description: | La couv. porte une graphie fautive sur le nom de l'auteur : "Corges" au lieu de "Corge" |
Description matérielle: | 1 vol. (XIV-492 p.) : ill., couv. ill. en coul. ; 24 cm. |
Bibliographie: | Bibliogr. p. 479-486 |
ISBN: | 9782729837723 (br.) : |