dbpedia > turing

formatos disponibles

Ordenar por

Data
Popularidade

visualização

Listado Compacto
Listagem
Mosaico

Encontrar

Wikipedia Article

Entscheidungsproblem

O Entscheidungsproblem (termo alemão para "problema de decisão") é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica ...

Eu curto 0
Visitas 14
Comentarios 0

Equipo Didactalia

Seguir

Wikipedia Article

Uma máquina de Turing quântica, ou também computador quântico universal é uma máquina abstrata usada para modelar o efeito de um computador quântico. Ela provê um modelo muito simples que captura todo ...

Eu curto 0
Visitas 63
Comentarios 0

Equipo Didactalia

Seguir

Wikipedia Article

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