Páginas com hiperligações para "Função computável"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Função computável:
Mostrando 49 itens.
- Função (matemática) (← afluentes)
- Máquina de Turing (← afluentes)
- Cálculo lambda (← afluentes)
- Entscheidungsproblem (← afluentes)
- Axiomas de Peano (← afluentes)
- Problema da parada (← afluentes)
- Função de Ackermann (← afluentes)
- Teorema de Rice (← afluentes)
- Variáveis livres e ligadas (← afluentes)
- Lista de funções matemáticas (← afluentes)
- Stephen Kleene (← afluentes)
- Algoritmo do castor (← afluentes)
- Redução (complexidade) (← afluentes)
- Conjuntos recursivamente enumeráveis (← afluentes)
- Redução de Turing (← afluentes)
- Computador (← afluentes)
- Conjunto recursivo (← afluentes)
- Hierarquia de crescimento rápido (← afluentes)
- Hipercomputação (← afluentes)
- Número computável (← afluentes)
- Conjuntos criativos e produtivos (← afluentes)
- Axiomas de Blum (← afluentes)
- Teorema de hierarquia de espaço (← afluentes)
- Teorema da aceleração de Blum (← afluentes)
- Teorema da recursividade de Kleene (← afluentes)
- Teorema do intervalo (← afluentes)
- Salto de Turing (← afluentes)
- Predicado T de Kleene (← afluentes)
- Princípio de Markov (← afluentes)
- RE (complexidade) (← afluentes)
- Lema de Konig (← afluentes)
- Teorema de Goodstein (← afluentes)
- Razoabilidade (lógica) (← afluentes)
- Realizabilidade (← afluentes)
- Teorema de Paris-Harrington (← afluentes)
- Constante de Chaitin (← afluentes)
- Interpretação de Brouwer–Heyting–Kolmogorov (← afluentes)
- Máquina de registradores (← afluentes)
- Função semicomputável (← afluentes)
- Operador µ (← afluentes)
- Teoria da complexidade estrutural (← afluentes)
- Propriedades de disjunção e existência (← afluentes)
- Teorema MTU (← afluentes)
- Conjunto aritmético (← afluentes)
- Teorema Smn (← afluentes)
- ELEMENTAR (complexidade) (← afluentes)
- Teoria hiperaritmética (← afluentes)
- PPAD (← afluentes)
- Função sucessora (← afluentes)