Que puis-je faire ?
Trouvez
visualisation
Hipervinculo Matemáticas
La máquina de Turing, presentada por Alan Turing en 1936 en On computable numbers, with an application to the Entscheidungsproblems, es el modelo matemático de un dispositivo que se comp ...
Hipervinculo Matemáticas
Alonzo Church's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. His father was a judge. He was a student at Princeton receiving his first degree, an A.B., in 1924, then his ...
Wikipedia Article
En logique mathématique, on appelle problème de la décision le fait de déterminer de façon mécanique, par un algorithme, si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à ...
Wikipedia Article
A quantum Turing machine (QTM), also a universal quantum computer, is an abstract machine used to model the effect of a quantum computer. It provides a very simple model which captures all of the powe ...
Wikipedia Article
Taylor L. Booth (September 22, 1933 - October 20, 1986) was a mathematician known for his work in automata theory.One of his fundamental works is Sequential Machines and Automata Theory (1967). It is ...
Ajouter à Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...