11 relações: Axiomas de Peano, Complexidade computacional, Função computável, Função de Ackermann, Journal of Symbolic Logic, Número de Graham, Número ordinal, Número transfinito, Notação de Knuth, Teoria da computabilidade, Teoria da prova.
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Hierarquia de crescimento rápido e Axiomas de Peano · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Hierarquia de crescimento rápido e Complexidade computacional · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Hierarquia de crescimento rápido e Função computável · Veja mais »
Função de Ackermann
Na teoria da computabilidade, a Função de Ackermann, nomeada por Wilhelm Ackermann, é um dos mais simples e recém-descobertos exemplos de uma função computável que não são funções recursivas primitivas.
Novo!!: Hierarquia de crescimento rápido e Função de Ackermann · Veja mais »
Journal of Symbolic Logic
O Journal of Symbolic Logic é um periódico de matemática revisado por pares, publicado trimestralmente pela Association for Symbolic Logic.
Novo!!: Hierarquia de crescimento rápido e Journal of Symbolic Logic · Veja mais »
Número de Graham
coplanar. O subgrafo é mostrado abaixo do cubo. Note-se que esse cubo que não contem tal subgrafo se, por exemplo, a borda inferior no presente subgrafo for substituída por uma borda azul - provando assim que via exemplo contrário, N*>3. O número de Graham, em homenagem a Ronald Graham, é um número muito grande que é um limite superior sobre a solução para um determinado problema na teoria de Ramsey.
Novo!!: Hierarquia de crescimento rápido e Número de Graham · Veja mais »
Número ordinal
Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.
Novo!!: Hierarquia de crescimento rápido e Número ordinal · Veja mais »
Número transfinito
Um número transfinito é a forma rigorosa usada pela matemática para contar o número de elementos de conjuntos infinitos.
Novo!!: Hierarquia de crescimento rápido e Número transfinito · Veja mais »
Notação de Knuth
Em matemática, a Notação de Knuth (em inglês:Knuth's up-arrow notation) é um método de notação para inteiros muito grandes, introduzido por Donald Knuth em 1976.
Novo!!: Hierarquia de crescimento rápido e Notação de Knuth · Veja mais »
Teoria da computabilidade
A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.
Novo!!: Hierarquia de crescimento rápido e Teoria da computabilidade · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Hierarquia de crescimento rápido e Teoria da prova · Veja mais »