Acesso mais rápido do que o navegador!
30 relações: Algoritmo do castor, Alonzo Church, Annals of Mathematics, Argumentum ad nauseam, Armazenamento de dados de computador, Autômato com pilha, Computação, Conjunto de instruções, Conjunto finito, Conjunto infinito, Emil Post, Entrada/saída, Equivalência lógica, Estrutura de seleção, Goto (programação), Hao Wang (acadêmico), Kurt Gödel, Lógica matemática, Linguagem de programação, Martin Davis, Marvin Minsky, Máquina de Turing, Operação (matemática), Oxford University Press, Programa de computador, Recursividade, Roger Penrose, Sequência, Sistema de numeração binário, Stephen Kleene.
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 Post-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 Post-Turing e Alonzo Church · Veja mais »
Annals of Mathematics
Annals of Mathematics, abreviado como Ann.
Novo!!: Máquina de Post-Turing e Annals of Mathematics · Veja mais »
Argumentum ad nauseam
Argumentum ad nauseam (em português, "argumentação até provocar náusea") é uma expressão em língua latina que se refere à argumentação por repetição, que consiste em repetir insistentemente a mesma afirmação até o ponto de, metaforicamente, provocar náusea.
Novo!!: Máquina de Post-Turing e Argumentum ad nauseam · Veja mais »
Armazenamento de dados de computador
O armazenamento de dados de computador é uma tecnologia que consiste em componentes de computador e mídia de gravação que são usados para reter dados digitais.
Novo!!: Máquina de Post-Turing e Armazenamento de dados de computador · Veja mais »
Autômato com pilha
Na teoria dos autômatos, um autômato com pilha é um autômato finito com uma memória auxiliar em forma de pilha.
Novo!!: Máquina de Post-Turing e Autômato com pilha · Veja mais »
Computação
A computação é qualquer atividade orientada a objetivos que exija, se beneficie ou crie máquinas de computação.
Novo!!: Máquina de Post-Turing e Computação · Veja mais »
Conjunto de instruções
Conjunto de instruções (tradução de instruction set) são as operações que um processador, microprocessador, microcontrolador, CPU ou outros periféricos programáveis suporta, fornece ou disponibiliza para o programador, ou seja, é a representação em mnemônicos do código de máquina, com a finalidade de facilitar o acesso ao componente.
Novo!!: Máquina de Post-Turing e Conjunto de instruções · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Máquina de Post-Turing e Conjunto finito · Veja mais »
Conjunto infinito
Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios.
Novo!!: Máquina de Post-Turing e Conjunto infinito · 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 Post-Turing e Emil Post · Veja mais »
Entrada/saída
Entrada/saída, sigla E/S (em inglês: Input/output, sigla I/O) é um termo utilizado quase que exclusivamente no ramo da computação (ou informática), indicando entrada (inserção) de dados por meio de algum código ou programa, para algum outro programa ou hardware, bem como a sua saída (obtenção de dados) ou retorno de dados, como resultado de alguma operação de algum programa, consequentemente resultado de alguma entrada.
Novo!!: Máquina de Post-Turing e Entrada/saída · Veja mais »
Equivalência lógica
Na lógica, afirmações p e q são logicamente equivalentes se tiverem o mesmo conteúdo lógico.
Novo!!: Máquina de Post-Turing e Equivalência lógica · Veja mais »
Estrutura de seleção
Na ciência da computação, estrutura de seleção (ou expressão condicional, ou construção condicional, ou função se-então-senão) é uma estrutura de desvio do fluxo de controle presente em linguagens de programação que realiza diferentes ações/computações dependendo se a condição/seleção é verdadeira ou falsa, em que a expressão é processada e transformada em um valor booleano.
Novo!!: Máquina de Post-Turing e Estrutura de seleção · Veja mais »
Goto (programação)
O comando goto (do inglês go to, em português ir para) é uma estrutura de controle para salto de instruções.
Novo!!: Máquina de Post-Turing e Goto (programação) · 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 Post-Turing e Hao Wang (acadêmico) · 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 Post-Turing e Kurt Gödel · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Máquina de Post-Turing e Lógica matemática · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Máquina de Post-Turing e Linguagem de programação · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Máquina de Post-Turing e Martin Davis · Veja mais »
Marvin Minsky
Marvin Lee Minsky (Nova Iorque, – Boston) foi um cientista cognitivo norte-americano.
Novo!!: Máquina de Post-Turing e Marvin Minsky · 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 Post-Turing e Máquina de Turing · Veja mais »
Operação (matemática)
Em matemática, uma operação é qualquer tipo de procedimento que é realizado sobre certa quantidade de elementos, e que obedece sempre a uma mesma lógica (regra).
Novo!!: Máquina de Post-Turing e Operação (matemática) · Veja mais »
Oxford University Press
Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.
Novo!!: Máquina de Post-Turing e Oxford University Press · Veja mais »
Programa de computador
Um programa de computador ou programa informático é um conjunto de instruções que descrevem uma tarefa a ser realizada por um computador.
Novo!!: Máquina de Post-Turing e Programa de computador · 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 Post-Turing e Recursividade · 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 Post-Turing e Roger Penrose · Veja mais »
Sequência
Em matemática, uma sequência ou sucessão é uma função cujo domínio é um conjunto contável totalmente ordenado.
Novo!!: Máquina de Post-Turing e Sequência · Veja mais »
Sistema de numeração binário
O sistema binário ou de base 2 é um sistema de numeração posicional em que todas as quantidades se representam com base em dois números, ou seja, zero e um (0 e 1).
Novo!!: Máquina de Post-Turing e Sistema de numeração binário · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Máquina de Post-Turing e Stephen Kleene · Veja mais »
