Páginas com hiperligações para "Hierarquia aritmética"
Aspeto
As seguintes páginas têm hiperligações para Hierarquia aritmética:
São apresentadas 50 páginas.
- ZPP (← afluentes | editar)
- NP-completo (← afluentes | editar)
- NP (complexidade) (← afluentes | editar)
- Linguagem recursivamente enumerável (← afluentes | editar)
- P (complexidade) (← afluentes | editar)
- Função computável (← afluentes | editar)
- Máquina de Turing que sempre para (← afluentes | editar)
- Hierarquia polinomial (← afluentes | editar)
- NP-difícil (← afluentes | editar)
- PSPACE (← afluentes | editar)
- Classe de complexidade (← afluentes | editar)
- PSPACE-completude (← afluentes | editar)
- Complexidade NL (← afluentes | editar)
- NSPACE (← afluentes | editar)
- DSPACE (← afluentes | editar)
- DLOGTIME (← afluentes | editar)
- EXPSPACE (← afluentes | editar)
- NEXPTIME (← afluentes | editar)
- NTIME (← afluentes | editar)
- P-completo (← afluentes | editar)
- Máquina oráculo (← afluentes | editar)
- Conjunto recursivo (← afluentes | editar)
- BPP (← afluentes | editar)
- Co-NP-completo (← afluentes | editar)
- Co-NP (← afluentes | editar)
- Exptime (← afluentes | editar)
- Dtime (← afluentes | editar)
- Teorema de Post (← afluentes | editar)
- RE (complexidade) (← afluentes | editar)
- NC (complexidade) (← afluentes | editar)
- Teorema da indefinibilidade de Tarski (← afluentes | editar)
- Provas verificáveis probabilisticamente (← afluentes | editar)
- Sistema de prova interativa (← afluentes | editar)
- RP (complexidade computacional) (← afluentes | editar)
- Hierarquia de Grzegorczyk (← afluentes | editar)
- Hierarquia exponencial (← afluentes | editar)
- APX-completude (← afluentes | editar)
- Constante de Chaitin (← afluentes | editar)
- Hierarquia analítica (← afluentes | editar)
- Sequência algoritmicamente aleatória (← afluentes | editar)
- Definable set (← afluentes | editar)
- Protocolo de Arthur-Merlin (← afluentes | editar)
- Conjuntos definidos (← afluentes | editar)
- Conjunto definível (← afluentes | editar)
- ACC0 (← afluentes | editar)
- PP (complexidade) (← afluentes | editar)
- Quantificador Delimitado (← afluentes | editar)
- IP (complexidade) (← afluentes | editar)
- QMA (← afluentes | editar)
- Conjunto aritmético (← afluentes | editar)