Início
Aleatório
Aqui perto
Entrar
Definições
Donativos
Sobre a Wikipédia
Avisos gerais
Pesquisar
Categoria
:
Teoria da computabilidade
Língua
Vigiar
Editar
Páginas na categoria "Teoria da computabilidade"
Esta categoria contém as seguintes 26 páginas (de um total de 26).
C
Conjunto aritmético
Conjunto recursivo
Conjuntos criativos e produtivos
E
ELEMENTAR (complexidade)
F
Hierarquia de crescimento rápido
Função computável
G
Grau de Turing
H
Hierarquia aritmética
Hierarquia de crescimento lento
Hierarquia de Grzegorczyk
História da tese de Church-Turing
L
Lema de Konig
Lógica da computabilidade
Lógica de computabilidade
M
Máquina de Turing somente de leitura
Método efetivo
Mortalidade (teoria da computabilidade)
O
Operador µ
P
Predicado T de Kleene
Princípio de Church-Turing-Deutsch
Problema da satisfatibilidade de circuito
Q
Quantificador Delimitado
T
Teorema da recursividade de Kleene
Teorema de Post
Teorema MTU
Teoria hiperaritmética