Acesso mais rápido do que o navegador!
66 relações: Alan Turing, Alemanha, Algoritmo, Algoritmo do castor, Alonzo Church, Argumento de diagonalização de Cantor, Autômato finito determinístico, Autômato linearmente limitado, Brainfuck, Cálculo lambda, Ciência da computação, Completude (lógica), Complexidade computacional, Computador, Congresso Internacional de Matemáticos, Conjunto finito, Consistência lógica, David Hilbert, Decidibilidade, Departamentos da França, Doutoramento, EDVAC, Emil Post, Entscheidungsproblem, Equação diofantina, Ficção científica, Formiga de Langton, Função computável, Função parcial, George Stibitz, Google, Google Busca, Hao Wang (acadêmico), Howard Aiken, Inteligência artificial, Konrad Zuse, Kurt Gödel, Leonardo Torres y Quevedo, Lepidoptera, Martin Davis, Marvin Minsky, Maurice d'Ocagne, Max Newman, Máquina abstrata, Máquina de Post-Turing, Máquina de Turing não determinística, Método efetivo, Número de Gödel, Neal Stephenson, Paul Strathern, ..., Problemas de Hilbert, Robin Gandy, Sarrabisco, Segunda Guerra Mundial, Stephen Kleene, Teoria da computação, Tese de Church-Turing, Teste de Turing, The Diamond Age, Universidade de Heidelberg, Vannevar Bush, 1912, 1936, 1954, 1986, 23 de junho. Expandir índice (16 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 e Alan Turing · Veja mais »
Alemanha
Alemanha (Deutschland), oficialmente República Federal da Alemanha (Bundesrepublik Deutschland, 10px ouça), é um país localizado na Europa Central. É limitado, a norte, pelo mar do Norte, Dinamarca e mar Báltico; a leste, pela Polônia e Chéquia; a sul, pela Áustria e Suíça e, a oeste, pela França, Luxemburgo, Bélgica e Países Baixos. O território da Alemanha abrange 357.021 quilômetros quadrados e é influenciado por um clima temperado sazonal. Com 82,8 milhões de habitantes, em 31 de dezembro de 2015, o país tem a maior população da União Europeia e é também o lar da terceira maior população de migrantes internacionais em todo o mundo. A região chamada Germânia, habitada por vários povos germânicos, foi conhecida e documentada pelos romanos antes do ano 100. A partir do, os territórios alemães formaram a parte central do Sacro Império Romano-Germânico, que durou até 1806. Durante o, o norte da Alemanha tornou-se o centro da Reforma Protestante. Como um moderno Estado-nação, o país foi unificado pela primeira vez, em consequência da Guerra Franco-Prussiana, em 1871. Em 1949, após a Segunda Guerra Mundial, a Alemanha foi dividida em dois estados, a Alemanha Ocidental, oficialmente "República Federal da Alemanha", e a "Alemanha Oriental", oficialmente República Democrática Alemã, ao longo das linhas de ocupação aliadas. A Alemanha foi reunificada em 1990. A Alemanha Ocidental foi um dos membros fundadores da Comunidade Europeia (CE), em 1957, que, posteriormente, se tornou na União Europeia, em 1993. O país é parte do espaço Schengen e passou a adotar a moeda europeia, o euro, desde quando foi instituído, em 1999. A Alemanha é uma república parlamentar federal de dezesseis estados (em alemão Länder). A capital e maior cidade do país é Berlim, localizada no nordeste do território alemão. O país é membro das Nações Unidas, da OTAN, G8, G20, da OCDE e da OMC. É uma grande potência com a quarta maior economia do mundo por PIB nominal e a quinta maior em paridade do poder de compra. É o segundo maior exportador e o segundo maior importador de mercadorias. Em termos absolutos, a Alemanha atribui o segundo maior orçamento anual de ajudas ao desenvolvimento no mundo, enquanto está em sexto lugar em despesas militares. O país tem desenvolvido um alto padrão de vida e estabeleceu um sistema global de segurança social. A Alemanha ocupa uma posição-chave nos assuntos europeus e mantém uma série de parcerias estreitas em um nível global. O país também é reconhecido como líder científico e tecnológico em vários domínios.
Novo!!: Máquina de Turing e Alemanha · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Máquina de Turing e Algoritmo · Veja mais »
Algoritmo do castor
Em Teoria da Computação, o algoritmo do castor (busy beaver) é uma máquina de Turing que, após iniciada em uma fita vazia (todas as posições em branco ou com 0), executa o maior número de passos possível, mas eventualmente para.
Novo!!: Máquina de Turing e Algoritmo do castor · Veja mais »
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Máquina de Turing e Alonzo Church · Veja mais »
Argumento de diagonalização de Cantor
Uma ilustração do argumento da diagonalização de Cantor (na base 2) para a existência de conjuntos incontáveis. A sequência na parte inferior não pode ocorrer em nenhum lugar na enumeração das sequências anteriores. Um conjunto infinito pode ter a mesma cardinalidade como um subconjunto de si próprio, como a representada bijeção ''f''(''x'').
Novo!!: Máquina de Turing e Argumento de diagonalização de Cantor · Veja mais »
Autômato finito determinístico
Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico — também chamado máquina de estados finita determinística (AFD) — é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.
Novo!!: Máquina de Turing e Autômato finito determinístico · Veja mais »
Autômato linearmente limitado
Um Autômato linearmente limitado é uma Máquina de Turing com memória limitada e é o mecanismo reconhecedor de Linguagens sensíveis ao contexto.
Novo!!: Máquina de Turing e Autômato linearmente limitado · Veja mais »
Brainfuck
brainfuck, também conhecido como brainf*ck ou BF, é uma linguagem de programação esotérica notada pelo seu extremo minimalismo, criada por Urban Müller, em 1993.
Novo!!: Máquina de Turing e Brainfuck · Veja mais »
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Novo!!: Máquina de Turing e Cálculo lambda · 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 e Ciência da computação · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Máquina de Turing e Completude (lógica) · 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 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 e Computador · Veja mais »
Congresso Internacional de Matemáticos
O Congresso Internacional de Matemáticos (em inglês: International Congress of Mathematicians (ICM)) é o maior congresso de matemática.
Novo!!: Máquina de Turing e Congresso Internacional de Matemáticos · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Máquina de Turing e Conjunto finito · Veja mais »
Consistência lógica
Na lógica uma teoria consistente é uma que não contenha uma contradição.
Novo!!: Máquina de Turing e Consistência lógica · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Máquina de Turing e David Hilbert · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Máquina de Turing e Decidibilidade · Veja mais »
Departamentos da França
Departamentos franceses no governo de Napoleão A República Francesa é dividida administrativamente em 101 departamentos (em francês: départements): 96 departamentos metropolitanos e cinco departamentos ultramarinos (francês: départements d'outre-mer), os DOM.
Novo!!: Máquina de Turing e Departamentos da França · Veja mais »
Doutoramento
é um grau académico concedido por uma instituição de ensino superior universitário, que pode ser uma universidade, um centro universitário, uma faculdade isolada, com o propósito de certificar academicamente a capacidade do candidato para desenvolver investigação num determinado campo da ciência (no seu conceito mais abrangente).
Novo!!: Máquina de Turing e Doutoramento · 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 e EDVAC · Veja mais »
Emil Post
Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense.
Novo!!: Máquina de Turing e Emil Post · Veja mais »
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 de primeira ordem pode ser provado.
Novo!!: Máquina de Turing e Entscheidungsproblem · Veja mais »
Equação diofantina
Na matemática, uma equação Diofantina é uma equação polinomial que permite a duas ou mais variáveis assumirem apenas valores inteiros.
Novo!!: Máquina de Turing e Equação diofantina · Veja mais »
Ficção científica
Ficção científica (normalmente abreviado para SF, FC, sci-fi ou scifi) é um gênero da ficção especulativa, que normalmente lida com conceitos ficcionais e imaginativos, relacionados ao futuro, ciência e tecnologia, e seus impactos e/ou consequências em uma determinada sociedade ou em seus indivíduos, desenvolvido no século XIX.
Novo!!: Máquina de Turing e Ficção científica · Veja mais »
Formiga de Langton
Formiga de Langton (do inglês, Langton's Ant) é uma Máquina de Turing bidimensional com um conjunto muito simples de regras, mas um complexo comportamento emergente.
Novo!!: Máquina de Turing e Formiga de Langton · 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 e Função computável · 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 e Função parcial · Veja mais »
George Stibitz
George Stibitz (York (Pensilvânia), — Hanover) foi um engenheiro eletrônico e inventor estadunidense.
Novo!!: Máquina de Turing e George Stibitz · Veja mais »
Google LLC é uma empresa multinacional de softwares e serviços online (baseado na nuvem) fundada em 1998 na cidade norte-americana de Menlo Park (estado da Califórnia), que lucra principalmente através da publicidade pelo AdWords.
Novo!!: Máquina de Turing e Google · Veja mais »
Google Busca
O Google Busca é um serviço da empresa Google, em que é possível fazer pesquisas na internet sobre qualquer tipo de assunto ou conteúdo.
Novo!!: Máquina de Turing e Google Busca · Veja mais »
Hao Wang (acadêmico)
Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, —) foi um matemático e filósofo sino-americano.
Novo!!: Máquina de Turing e Hao Wang (acadêmico) · Veja mais »
Howard Aiken
Howard Hathaway Aiken (Nova Jérsei, — St. Louis) foi um pioneiro da computação, sendo o engenheiro principal no desenvolvimento do computador Harvard Mark I da IBM.
Novo!!: Máquina de Turing e Howard Aiken · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Máquina de Turing e Inteligência artificial · Veja mais »
Konrad Zuse
Konrad Ernst Otto Zuse (Berlim, 22 de junho de 1910 — Hünfeld, 18 de dezembro de 1995) foi um engenheiro, inventor e empresário alemão e um pioneiro dos computadores.
Novo!!: Máquina de Turing e Konrad Zuse · Veja mais »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Novo!!: Máquina de Turing e Kurt Gödel · Veja mais »
Leonardo Torres y Quevedo
Leonardo Torres y Quevedo (le.oˈnarðo ˈtores i keˈβeðo; 28 de dezembro de 1852 – 18 de dezembro de 1936) foi um engenheiro civil e matemático espanhol.
Novo!!: Máquina de Turing e Leonardo Torres y Quevedo · Veja mais »
Lepidoptera
Lepidoptera é uma ordem de insetos que inclui as borboletas e mariposas.
Novo!!: Máquina de Turing e Lepidoptera · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Máquina de Turing e Martin Davis · Veja mais »
Marvin Minsky
Marvin Lee Minsky (Nova Iorque, – Boston) foi um cientista cognitivo norte-americano.
Novo!!: Máquina de Turing e Marvin Minsky · Veja mais »
Maurice d'Ocagne
Philbert Maurice d'Ocagne (Paris, – Le Havre) foi um engenheiro e matemático francês.
Novo!!: Máquina de Turing e Maurice d'Ocagne · Veja mais »
Max Newman
Maxwell Herman Alexander Newman (Londres, 7 de fevereiro de 1897 — Cambridge, 22 de fevereiro de 1984) foi um matemático e criptólogo britânico.
Novo!!: Máquina de Turing e Max Newman · Veja mais »
Máquina abstrata
Uma máquina abstrata (ou computador abstrato) é um modelo teórico de um sistema computacional de hardware ou software usado para detalhar o funcionamento do sistema,Macura usado na teoria dos autômatos.
Novo!!: Máquina de Turing e Máquina abstrata · 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 e Máquina de Post-Turing · Veja mais »
Máquina de Turing não determinística
Máquina de Turing não-determinística em ciência da computação é uma máquina de Turing cujo mecanismo de controle atua como um autômato finito não-determinístico.
Novo!!: Máquina de Turing e Máquina de Turing não determinística · Veja mais »
Método efetivo
Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo Hunter, Geoffrey, Metalogic: uma Introdução ao Metateoria de lógica de primeira ordem padrão, University of California Press, 1971 (também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em.
Novo!!: Máquina de Turing e Método efetivo · 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 e Número de Gödel · Veja mais »
Neal Stephenson
Neal Town Stephenson (Fort Meade, 31 de outubro de 1959) é um escritor americano conhecido por suas obras de ficção especulativa.
Novo!!: Máquina de Turing e Neal Stephenson · Veja mais »
Paul Strathern
Paul Strathern (Londres, 1940) é um autor britânico de biografias, romances e livros de histórias e viagens.
Novo!!: Máquina de Turing e Paul Strathern · Veja mais »
Problemas de Hilbert
David Hilbert, o autor dos "23 problemas" Os Problemas de Hilbert são uma lista de 23 problemas em matemática propostos pelo matemático alemão David Hilbert na conferência do Congresso Internacional de Matemáticos de Paris em 1900.
Novo!!: Máquina de Turing e Problemas de Hilbert · Veja mais »
Robin Gandy
Robin Oliver Gandy (—) foi um matemático britânico.
Novo!!: Máquina de Turing e Robin Gandy · Veja mais »
Sarrabisco
Sarrabisco feito pela Rainha da Prússia, Luísa de Meclemburgo-Strelitz, c. 1795 Um sarrabisco, gatafunho ou rabisco, ou ainda o termo estrangeiro doodle é um tipo de esboço ou desenho realizado ao acaso, quando uma pessoa está distraída ou ocupada.
Novo!!: Máquina de Turing e Sarrabisco · Veja mais »
Segunda Guerra Mundial
A Segunda Guerra Mundial foi um conflito militar global que durou de 1939 a 1945, envolvendo a maioria das nações do mundo — incluindo todas as grandes potências — organizadas em duas alianças militares opostas: os Aliados e o Eixo.
Novo!!: Máquina de Turing e Segunda Guerra Mundial · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Máquina de Turing e Stephen Kleene · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Máquina de Turing e Teoria da computação · 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 e Tese de Church-Turing · Veja mais »
Teste de Turing
2000 O Teste de Turing testa a capacidade de um computador de exibir comportamento inteligente equivalente ao de um ser humano, ou indistinguível deste.
Novo!!: Máquina de Turing e Teste de Turing · Veja mais »
The Diamond Age
The Diamond Age: Ou, A Young Lady's Illustrated Primer é um romance de ficção científica do escritor americano Neal Stephenson.
Novo!!: Máquina de Turing e The Diamond Age · Veja mais »
Universidade de Heidelberg
A Universidade de Heidelberg, ou, nas suas formas portuguesas, de Heidelberga ou de Edelberga, oficialmente denominada Universidade de Heidelberg Ruprecht Karl (Ruprecht-Karls-Universität Heidelberg, em alemão), é uma universidade pública alemã, das mais prestigiadas universidades do país.
Novo!!: Máquina de Turing e Universidade de Heidelberg · Veja mais »
Vannevar Bush
Vannevar Bush (Chelsea, Massachusetts, — Belmont) foi um engenheiro, inventor e político estadunidense, que durante a Segunda Guerra Mundial chefiou o Escritório de Pesquisa Científica dos Estados Unidos e Desenvolvimento (OSRD), por meio do qual quase toda a P&D militar durante a guerra foi realizada, incluindo importantes desenvolvimentos em radar e o início e administração inicial do Projeto Manhattan.
Novo!!: Máquina de Turing e Vannevar Bush · Veja mais »
1912
---- (na numeração romana) foi um ano bissexto do século XX do atual Calendário Gregoriano, da Era de Cristo, e as suas letras dominicais foram G e F (52 semanas), teve início a uma segunda-feira e terminou a uma terça-feira.
Novo!!: Máquina de Turing e 1912 · Veja mais »
1936
---- (na numeração romana) foi um ano bissexto do século XX do actual Calendário Gregoriano, da Era de Cristo, e as suas letras dominicais foram E e D (53 semanas), seu início foi numa quarta-feira e terminou numa quinta-feira.
Novo!!: Máquina de Turing e 1936 · Veja mais »
1954
----.
Novo!!: Máquina de Turing e 1954 · Veja mais »
1986
Sem descrição
Novo!!: Máquina de Turing e 1986 · Veja mais »
23 de junho
1894: Fundação do Comitê Olímpico Internacional 1996: Lançamento do Nintendo 64.
Novo!!: Máquina de Turing e 23 de junho · Veja mais »
Redireciona aqui:
Função Turing-computável, Máquinas de Turing.
