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.
LEADER 01049nam a22002777a 4500
001 291372
008 080528s2008 xxe ||| |||| 00| 0 fre d
020 |a 9782729837723 (br.) :  |c 49 EUR 
024 |a 9782729837723 
041 0 |a fre 
082 |a 511.303 
100 1 |a Corge, Charles. 
245 1 0 |a Machines de Turing et automates cellulaires :  |b du trait gravé au très animé   |c Charles Corge. 
260 |a Paris :  |b Ellipses,  |c impr. 2008. 
300 |a 1 vol. (XIV-492 p.) :  |b ill., couv. ill. en coul. ;  |c 24 cm. 
500 |a La couv. porte une graphie fautive sur le nom de l'auteur : "Corges" au lieu de "Corge" 
504 |a Bibliogr. p. 479-486 
520 |a 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. 
650 |a Automates cellulaires 
650 |a Turing, machines de 
650 |a Calcul 
650 |a Arithmétique  |x Fondements 
993 |a Livre 
994 |a PS 
995 |a 124312861 
997 |0 291372