Machines de Turing et automates cellulaires : du trait gravé au très animé

Enregistré dans:
Détails bibliographiques
Auteur principal: Corge, Charles.
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.
+ d'infos
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.) :