Acesso mais rápido do que o navegador!
45 relações: Alan Turing, Algoritmo, Algoritmo de Markov, Alonzo Church, Aritmética modular, Austríacos, Autômato com pilha, Autômato finito determinístico, Autômato finito não determinístico com transições ε, Brainfuck, Cadeia de caracteres, Cálculo lambda, Ciência da computação, Composição de funções, Expressão regular, Função μ-recursiva, Função recursiva primitiva, Gramática, Gramática livre de contexto, Hierarquia de Chomsky, Hipercomputação, Kurt Gödel, Lógica combinatória, Lógica matemática, Matemático, Máquina abstrata, Máquina de registradores, Máquina de Turing, Modelagem computacional, Número de Gödel, P′′, Problema computacional, Problema da parada, Problema de busca, Problema de decisão, Problema de função, Problema de otimização, Programa de Hilbert, Recursividade, Sistema de cadeia reescrito, Teorema de Rice, Teoria da computação, Teoria da computabilidade, Teoria dos autômatos, Teste de primalidade.
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!!: Computabilidade e Alan Turing · 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!!: Computabilidade e Algoritmo · Veja mais »
Algoritmo de Markov
Em teoria da computação, o algoritmo de Markov,, Short paper sobre os algoritmos de Markov nomeado assim em homenagem à Andrei Markov, é um sistema de reescrita de cadeias que lança mão de regras de gramáticas para operar sobre cadeias de símbolos.
Novo!!: Computabilidade e Algoritmo de Markov · 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!!: Computabilidade e Alonzo Church · Veja mais »
Aritmética modular
Em matemática, aritmética modular (chamada também de aritmética do relógio) é um sistema de aritmética para inteiros, onde os números "retrocedem" quando atingem um certo valor, o módulo.
Novo!!: Computabilidade e Aritmética modular · Veja mais »
Austríacos
Os austríacos (Österreicher) são uma nação e grupo étnico germânico.
Novo!!: Computabilidade e Austríacos · 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!!: Computabilidade e Autômato com pilha · 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!!: Computabilidade e Autômato finito determinístico · Veja mais »
Autômato finito não determinístico com transições ε
Na teoria dos autômatos, um autômato finito não-determinístico com transições ε (AFN-ε) (também conhecido como AFN-λ), é uma extensão (variação) de um autômato finito não-determinístico (AFND), que permite a transição para um novo estado sem consumir qualquer caractere da entrada.
Novo!!: Computabilidade e Autômato finito não determinístico com transições ε · 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!!: Computabilidade e Brainfuck · Veja mais »
Cadeia de caracteres
Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.
Novo!!: Computabilidade e Cadeia de caracteres · 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!!: Computabilidade 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!!: Computabilidade e Ciência da computação · Veja mais »
Composição de funções
Em matemática, uma função composta é criada aplicando uma função à saída, ou resultado, de uma outra função, sucessivamente.
Novo!!: Computabilidade e Composição de funções · Veja mais »
Expressão regular
Em ciência da computação, uma expressão regular (do inglês regular expression, abreviado regex ou regexp) provê uma forma concisa e flexível de identificar cadeias de caracteres de interesse, como caracteres particulares, palavras ou padrões de caracteres.
Novo!!: Computabilidade e Expressão regular · 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!!: Computabilidade e Função μ-recursiva · Veja mais »
Função recursiva primitiva
As funções recursivas primitivas são definidas através do uso da recursão primitiva e da Composição como operações centrais.
Novo!!: Computabilidade e Função recursiva primitiva · Veja mais »
Gramática
Gramática (do grego: γραμματική, transl. grammatiké, feminino substantivado de grammatikós) designa conjunto de prescrições e regras que determinam o uso considerado correto da língua escrita e falada.
Novo!!: Computabilidade e Gramática · Veja mais »
Gramática livre de contexto
A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.
Novo!!: Computabilidade e Gramática livre de contexto · Veja mais »
Hierarquia de Chomsky
Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky.
Novo!!: Computabilidade e Hierarquia de Chomsky · Veja mais »
Hipercomputação
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.
Novo!!: Computabilidade e Hipercomputação · 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!!: Computabilidade e Kurt Gödel · Veja mais »
Lógica combinatória
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática.
Novo!!: Computabilidade e Lógica combinatória · 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!!: Computabilidade e Lógica matemática · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Computabilidade e Matemático · 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!!: Computabilidade e Máquina abstrata · Veja mais »
Máquina de registradores
Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing.
Novo!!: Computabilidade e Máquina de registradores · 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!!: Computabilidade e Máquina de Turing · Veja mais »
Modelagem computacional
Modelagem computacional é uma área de conhecimento multidisciplinar que trata da aplicação de modelos matemáticos e técnicas da computação à análise, compreensão e estudo da fenomenologia de problemas complexos em áreas tão abrangentes quanto as engenharias, ciências exatas, biológicas, humanas, economia e ciências ambientais.
Novo!!: Computabilidade e Modelagem computacional · 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!!: Computabilidade e Número de Gödel · Veja mais »
P′′
P′′ é uma linguagem de programação primitiva criada por Corrado Böhm em 1964 para descrever uma família de Máquinas de Turing.
Novo!!: Computabilidade e P′′ · Veja mais »
Problema computacional
Na ciência da teoria da computação, um problema computacional é um objeto matemático que representa um coleção de questões que computadores talvez queiram resolver.
Novo!!: Computabilidade e Problema computacional · 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!!: Computabilidade e Problema da parada · Veja mais »
Problema de busca
Em teoria da complexidade computacional e teoria da computabilidade, o problema de busca é um tipo de problema computacional representado por uma relação binária.
Novo!!: Computabilidade e Problema de busca · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Computabilidade e Problema de decisão · Veja mais »
Problema de função
Em teoria da complexidade computacional, um problema de função é um problema computacional onde uma única saída (de uma função total) é esperada pra cada entrada, mas a sáida é mais complexa do que um problema de decisão, isto é, não é apenas SIM ou NÃO.
Novo!!: Computabilidade e Problema de função · Veja mais »
Problema de otimização
Problema de otimização, em matemática ou ciência da computação, é um problema de encontrar a melhor solução de todas as soluções viáveis.
Novo!!: Computabilidade e Problema de otimização · Veja mais »
Programa de Hilbert
O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética.
Novo!!: Computabilidade e Programa de Hilbert · 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!!: Computabilidade e Recursividade · Veja mais »
Sistema de cadeia reescrito
Um sistema de cadeia reescrito é um sistema de substituição usado para criar cadeias lógias a partir de determinadas regras de reescrita.
Novo!!: Computabilidade e Sistema de cadeia reescrito · Veja mais »
Teorema de Rice
Na teoria da computação, o teorema de Rice afirma que, para qualquer propriedade não-trivial de funções parciais, não existe um método geral e eficaz para decidir se um algoritmo calcula uma função parcial com essa propriedade.
Novo!!: Computabilidade e Teorema de Rice · 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!!: Computabilidade e Teoria da computação · Veja mais »
Teoria da computabilidade
A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.
Novo!!: Computabilidade e Teoria da computabilidade · Veja mais »
Teoria dos autômatos
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.
Novo!!: Computabilidade e Teoria dos autômatos · Veja mais »
Teste de primalidade
Um teste de primalidade é um algoritmo para determinar se um dado número inteiro é primo.
Novo!!: Computabilidade e Teste de primalidade · Veja mais »
