dbpedia > turing

formatos disponibles

Ordenar por

Fecha
Popularidad

visualización

Listado Compacto
Listado
Mosaico

Encontrar

Definición

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

Me gusta 0
Visitas 14
Comentarios 0

Equipo Didactalia

Seguir

Definición

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

Me gusta 0
Visitas 63
Comentarios 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 ...