Páginas com hiperligações para "Teoria da computabilidade"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Teoria da computabilidade:
Mostrando 38 itens.
- Algoritmo (← afluentes)
- Matemática (← afluentes)
- Teoria dos problemas (← afluentes)
- Cálculo lambda (← afluentes)
- Experimento mental (← afluentes)
- Complexidade computacional (← afluentes)
- Problema da parada (← afluentes)
- Função de Ackermann (← afluentes)
- Stephen Kleene (← afluentes)
- Lógica combinatória (← afluentes)
- Função computável (← afluentes)
- Número de Gödel (← afluentes)
- Redução (complexidade) (← afluentes)
- Conjunto recursivo (← afluentes)
- Numeração (teoria da computação) (← afluentes)
- Teorema da recursividade de Kleene (← afluentes)
- Salto de Turing (← afluentes)
- Predicado T de Kleene (← afluentes)
- Ciência da computação teórica (← afluentes)
- Princípio de Markov (← afluentes)
- Problema de busca (← afluentes)
- Modelo de aritmética não padrão (← afluentes)
- Teorema de Post (← afluentes)
- Conjunto simples (← afluentes)
- Construtivismo (matemática) (← afluentes)
- Aritmética de segunda ordem (← afluentes)
- Redução por tabela verdade (← afluentes)
- Definable set (← afluentes)
- Conjuntos definidos (← afluentes)
- Conjunto definível (← afluentes)
- Função semicomputável (← afluentes)
- Operador µ (← afluentes)
- Quantificador Delimitado (← afluentes)
- Teorema MTU (← afluentes)
- Teorema Smn (← afluentes)
- Teoria hiperaritmética (← afluentes)
- Redução com Preservação Aproximada (← afluentes)
- Redução com Preservação da Aproximação (← afluentes)