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. |