MACHINES DE TURING ET AUTOMATES CELLULAIRES. DU TRAIT GRAVÉ AU TR
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
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.
Renseignements sur l'ouvrage
Ouvrages similaires