16 relações: Axioma, Classe de complexidade, Domínio (matemática), Função booliana, Função computável, Função indicadora, Journal of the ACM, Linguagem recursiva, Manuel Blum, Máquina de Turing, Máquina de Turing universal, Modelo de computação, Número de Gödel, Problema da parada, Teorema da aceleração de Blum, Teorema do intervalo.
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Axiomas de Blum e Axioma · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: Axiomas de Blum e Classe de complexidade · Veja mais »
Domínio (matemática)
Na matemática, e mais especificamente na teoria ingênua dos conjuntos, o domínio de definição (ou simplesmente o domínio) de uma função é o conjunto de valores de "entrada" ou argumento para os quais a função é definida.
Novo!!: Axiomas de Blum e Domínio (matemática) · Veja mais »
Função booliana
Uma (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo f: X \to B, onde X é um conjunto arbitrário e B é um domínio booliano.
Novo!!: Axiomas de Blum e Função booliana · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Axiomas de Blum e Função computável · Veja mais »
Função indicadora
Na matemática, a função indicadora de um conjunto é a função que indica se o elemento pertence ao conjunto, assumindo neste caso o valor 1, e 0 em caso contrário.
Novo!!: Axiomas de Blum e Função indicadora · Veja mais »
Journal of the ACM
O Journal of the ACM (JACM) é a revista científica carro-chefe da Association for Computing Machinery (ACM).
Novo!!: Axiomas de Blum e Journal of the ACM · Veja mais »
Linguagem recursiva
A linguagem recursiva em matemática, lógica e ciência da computação, uma linguagem formal (a definir de sequências finitas de símbolos tomados de um fixo alfabeto) é chamada recursiva se é um subconjunto recursivo no conjunto de todas as palavras possíveis sobre o alfabeto da linguagem.
Novo!!: Axiomas de Blum e Linguagem recursiva · Veja mais »
Manuel Blum
Manuel Blum (Caracas, 26 de abril de 1938) é um informático venezuelano.
Novo!!: Axiomas de Blum e Manuel Blum · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Axiomas de Blum e Máquina de Turing · Veja mais »
Máquina de Turing universal
Em ciência da computação, uma máquina de Turing universal (MTU) é uma máquina de Turing que consegue simular outra máquina de Turing arbitrária com uma entrada arbitrária.
Novo!!: Axiomas de Blum e Máquina de Turing universal · Veja mais »
Modelo de computação
Em teoria da computabilidade, um modelo de computação é a definição de um conjunto de operações que podem ser usadas numa computação e seus respectivos custos.
Novo!!: Axiomas de Blum e Modelo de computação · Veja mais »
Número de Gödel
Em lógica matemática, uma numeração de Gödel é uma função matemática que atribui a cada símbolo e fórmula bem formada de alguma linguagem formal um único número natural, chamado seu número de Gödel.
Novo!!: Axiomas de Blum e Número de Gödel · Veja mais »
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma: Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir.
Novo!!: Axiomas de Blum e Problema da parada · Veja mais »
Teorema da aceleração de Blum
Na teoria da complexidade computacional, o teorema da aceleração de Blum ou teorema do aumento da velocidade de Blum (do inglês, Blum's speedup theorem), inicialmente definido por Manuel Blum em 1967, é um teorema fundamental sobre a complexidade de funções computáveis.
Novo!!: Axiomas de Blum e Teorema da aceleração de Blum · Veja mais »
Teorema do intervalo
Na teoria da complexidade computacional o teorema do intervalo é um importante teorema sobre a complexidade de funções computáveis.
Novo!!: Axiomas de Blum e Teorema do intervalo · Veja mais »
Redireciona aqui:
Axiomas de complexidade de Blum, Medida de complexidade, Medida de complexidade de Blum.