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

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Corge, Charles.
Μορφή: Livre
Γλώσσα: Français
Έκδοση: Paris : Ellipses, impr. 2008.
Θέματα:
Autres localisations: Voir dans le Sudoc
Περίληψη: 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.

BU Sciences

  Τοποθεσία Ταξιθετικός Αριθμός Κατάσταση
Libre accès 511.303 COR Στη βιβλιοθήκη