39 relações: ACE (computador), Alan Turing, Arquitetura de von Neumann, Autómato celular, Ciência da computação, Claude Shannon, Complexidade computacional, Computador, Donald Knuth, EDVAC, Função computável, Função μ-recursiva, Função parcial, Grande-O, Instituto de Estudos Avançados de Princeton, John Mauchly, John von Neumann, Linguagem assembly, Linguagem recursiva, Linguagem recursivamente enumerável, Logaritmo, Martin Davis, Marvin Minsky, Máquina de estados finita, Máquina de Post-Turing, Máquina de Turing, Máquina de Turing que sempre para, Número de Gödel, Oxford University Press, Problema da parada, Problema indecidível, Recursividade, RISC, Roger Penrose, Teorema MTU, Tese de Church-Turing, Time (revista), Turing completude, Wang Hao.
ACE (computador)
O ACE (Automatic Computing Engine) foi o primeiro computador projetado no Reino Unido, uma realização de Alan Turing em 1946.
Novo!!: Máquina de Turing universal e ACE (computador) · Veja mais »
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Novo!!: Máquina de Turing universal e Alan Turing · Veja mais »
Arquitetura de von Neumann
John von Neumann. A Arquitetura de von Neumann (de John von Neumann, pronunciado Nóimánn) é uma arquitetura de computador que se caracteriza pela possibilidade de uma máquina digital armazenar seus programas no mesmo espaço de memória que os dados, podendo assim manipular tais programas.
Novo!!: Máquina de Turing universal e Arquitetura de von Neumann · Veja mais »
Autómato celular
0-14-016734-X Um celular (AC) é um modelo discreto de computação estudado na teoria dos autômatos.
Novo!!: Máquina de Turing universal e Autómato celular · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Máquina de Turing universal e Ciência da computação · Veja mais »
Claude Shannon
Claude Elwood Shannon (—) foi um matemático, engenheiro eletrônico e criptógrafo estadunidense, conhecido como "o pai da teoria da informação".
Novo!!: Máquina de Turing universal e Claude Shannon · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Máquina de Turing universal e Complexidade computacional · Veja mais »
Computador
Um computador pessoal. Columbia, um supercomputador da NASA. Um assistente pessoal digital. Na tecnologia, o computador é um dispositivo eletroeletrônico formado por um conjunto de componentes eletrônicos capaz de executar variados tipos de tratamento de informações (processamento de dados) e de algoritmos.
Novo!!: Máquina de Turing universal e Computador · Veja mais »
Donald Knuth
Donald Ervin Knuth (Milwaukee) é um cientista computacional de renome e professor emérito da Universidade de Stanford.
Novo!!: Máquina de Turing universal e Donald Knuth · Veja mais »
EDVAC
O EDVAC, instalado no Edifício 328 do ''Ballistics Research Laboratory'' EDVAC (Electronic Discrete Variable Automatic Computer) foi um dos primeiros computadores eletrônicos.
Novo!!: Máquina de Turing universal e EDVAC · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Máquina de Turing universal e Função computável · Veja mais »
Função μ-recursiva
Em lógica matemática e ciência computacional, as funções μ-recursivas são uma classe de funções parciais de números naturais para números naturais que são “computáveis” num sentido intuitivo.
Novo!!: Máquina de Turing universal e Função μ-recursiva · Veja mais »
Função parcial
Em matemática, uma função parcial é quase uma função, falhando na definição, porque para nem todos x do domínio existe algum f(x).
Novo!!: Máquina de Turing universal e Função parcial · Veja mais »
Grande-O
''g''(''x'') sempre que ''x'' ≥ ''x''0. Na matemática, a notação O-grande descreve o comportamento limitante de uma função quando o argumento tende a um valor específico ou para o infinito, normalmente, em termos de funções mais simples.
Novo!!: Máquina de Turing universal e Grande-O · Veja mais »
Instituto de Estudos Avançados de Princeton
O Instituto de Estudos Avançados de Princeton (em inglês: Institute for Advanced Study), localizado em Princeton, é um centro de pesquisas teóricas e questões intelectuais.
Novo!!: Máquina de Turing universal e Instituto de Estudos Avançados de Princeton · Veja mais »
John Mauchly
John William Mauchly (Cincinnati, — Ambler) foi um físico estadunidense.
Novo!!: Máquina de Turing universal e John Mauchly · Veja mais »
John von Neumann
John von Neumann, nascido Margittai Neumann János Lajos (Budapeste, — Washington, D.C.) foi um matemático húngaro de origem judaica, naturalizado estadunidense.
Novo!!: Máquina de Turing universal e John von Neumann · Veja mais »
Linguagem assembly
Motorola MC6800. Assembly ou linguagem de montagem é uma notação legível por humanos para o código de máquina que uma arquitetura de computador específica usa, utilizada para programar códigos entendidos por dispositivos computacionais, como microprocessadores e microcontroladores.
Novo!!: Máquina de Turing universal e Linguagem assembly · Veja mais »
Linguagem recursiva
A linguagem recursiva em matemática, lógica e ciência da computação, uma linguagem formal (a definir de sequências finitas de símbolos tomados de um fixo alfabeto) é chamada recursiva se é um subconjunto recursivo no conjunto de todas as palavras possíveis sobre o alfabeto da linguagem.
Novo!!: Máquina de Turing universal e Linguagem recursiva · Veja mais »
Linguagem recursivamente enumerável
Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível.
Novo!!: Máquina de Turing universal e Linguagem recursivamente enumerável · Veja mais »
Logaritmo
urlmorta.
Novo!!: Máquina de Turing universal e Logaritmo · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Máquina de Turing universal e Martin Davis · Veja mais »
Marvin Minsky
Marvin Lee Minsky (Nova Iorque, – Boston) foi um cientista cognitivo norte-americano.
Novo!!: Máquina de Turing universal e Marvin Minsky · Veja mais »
Máquina de estados finita
Uma máquina de estados finita (FSM - do inglês Finite State Machine) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.
Novo!!: Máquina de Turing universal e Máquina de estados finita · Veja mais »
Máquina de Post-Turing
A máquina de Post-Turing é uma "formulação de um programa" de um tipo especialmente simples de máquina de Turing, compreendendo uma variante do modelo de computação Turing-equivalente de Emil Post descrito abaixo.
Novo!!: Máquina de Turing universal e Máquina de Post-Turing · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Máquina de Turing universal e Máquina de Turing · Veja mais »
Máquina de Turing que sempre para
Na teoria da computação, uma máquina de Turing que sempre para, também chamada de máquina de Turing total, é uma máquina de Turing que para para qualquer entrada.
Novo!!: Máquina de Turing universal e Máquina de Turing que sempre para · Veja mais »
Número de Gödel
Em lógica matemática, uma numeração de Gödel é uma função matemática que atribui a cada símbolo e fórmula bem formada de alguma linguagem formal um único número natural, chamado seu número de Gödel.
Novo!!: Máquina de Turing universal e Número de Gödel · Veja mais »
Oxford University Press
Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.
Novo!!: Máquina de Turing universal e Oxford University Press · Veja mais »
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma: Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir.
Novo!!: Máquina de Turing universal e Problema da parada · Veja mais »
Problema indecidível
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.
Novo!!: Máquina de Turing universal e Problema indecidível · Veja mais »
Recursividade
Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.
Novo!!: Máquina de Turing universal e Recursividade · Veja mais »
RISC
RISC (acrônimo de Reduced Instruction Set Computer; em português, "Computador com um conjunto reduzido de instruções") é uma linha de arquitetura de processadores que favorece um conjunto simples e pequeno de instruções que levam aproximadamente a mesma quantidade de tempo para serem executadas.
Novo!!: Máquina de Turing universal e RISC · Veja mais »
Roger Penrose
Roger Penrose (Colchester, 8 de agosto de 1931) é um físico matemático, matemático e filósofo da ciência inglês, professor emérito da Cátedra Rouse Ball de Matemática da Universidade de Oxford.
Novo!!: Máquina de Turing universal e Roger Penrose · Veja mais »
Teorema MTU
Na Teoria da computabilidade, o Teorema MTU, ou o teorema da Máquina de Turing universal, é um resultado básico sobre os números de Gödel do conjunto de funções computáveis.
Novo!!: Máquina de Turing universal e Teorema MTU · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Máquina de Turing universal e Tese de Church-Turing · Veja mais »
Time (revista)
Time é uma das mais conhecidas revistas de notícias semanais do mundo, publicada nos Estados Unidos.
Novo!!: Máquina de Turing universal e Time (revista) · Veja mais »
Turing completude
Na teoria da computação, a completude de Turing ou Turing-completo (do inglês: Turing-completeness; batizado em memória de Alan Turing), também chamado computacionalmente universal, é um conjunto de regras para manipulação de dados (semelhante a uma linguagem de programação, um autómato celular, um conjunto de instruções) que pode ser usado para resolver qualquer problema de computação (simula a lógica de qualquer algoritmo de computador).
Novo!!: Máquina de Turing universal e Turing completude · Veja mais »
Wang Hao
Wang Hao (Chinês: 王皓) é um mesa-tenista chinês, três vezes vice-campeão olímpico individual e campeão mundial de 2009.
Novo!!: Máquina de Turing universal e Wang Hao · Veja mais »
Redireciona aqui:
Máquina Turing universal, Máquina Universal de Turing.