Páginas com hiperligações para "Problema da parada"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Problema da parada:
Mostrando 41 itens.
- Algoritmo (← afluentes)
- Georg Cantor (← afluentes)
- Paradoxo de Russell (← afluentes)
- Número (← afluentes)
- Teoria algorítmica da informação (← afluentes)
- Entscheidungsproblem (← afluentes)
- Experimento mental (← afluentes)
- Gramática livre de contexto (← afluentes)
- P versus NP (← afluentes)
- Teorema de Rice (← afluentes)
- Lógica de primeira ordem (← afluentes)
- Função computável (← afluentes)
- Máquina de Turing que sempre para (← afluentes)
- Algoritmo do castor (← afluentes)
- PSPACE (← afluentes)
- Redução (complexidade) (← afluentes)
- Problema da correspondência de Post (← afluentes)
- Redução de Turing (← afluentes)
- Máquina oráculo (← afluentes)
- Hipercomputação (← afluentes)
- Número computável (← afluentes)
- Conjuntos criativos e produtivos (← afluentes)
- Axiomas de Blum (← afluentes)
- Salto de Turing (← afluentes)
- Predicado T de Kleene (← afluentes)
- Teorema de Post (← afluentes)
- Conjunto simples (← afluentes)
- Teoria dos tipos intuicionista (← afluentes)
- RE (complexidade) (← afluentes)
- Hierarquia aritmética (← afluentes)
- Grandes ordinais contáveis (← afluentes)
- Constante de Chaitin (← afluentes)
- Sequência algoritmicamente aleatória (← afluentes)
- Máquina de registradores (← afluentes)
- Complexidade de caso médio (← afluentes)
- Probabilidade indutiva (← afluentes)
- Conjunto aritmético (← afluentes)
- Complexidade de caso genérico (← afluentes)
- Circuitos e conjuntos de números naturais (← afluentes)
- Circuitos sobre conjuntos de números naturais (← afluentes)
- Testwiki:Tradução/Hierarquia aritmética (← afluentes)