dbpedia > turing

formatos disponibles

Ordenar per

Data
Popularitat

visualització

Listado Compacto
Llistat
Mosaic

Trobar

Artículo Wikipedia

Entscheidungsproblem

El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...

M'agrada 0
Visites 14
Comentaris 0

Equipo Didactalia

Seguir

Artículo Wikipedia

Quantum Turing machine

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 ...

M'agrada 0
Visites 63
Comentaris 0

Equipo Didactalia

Seguir

Artículo Wikipedia

Taylor Booth

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 ...