Resultados da pesquisa

...qualquer outra função computável. A função universal é uma versão abstrata da Máquina de Turing universal, advindo daí o nome do teorema. Teorema da equivalência de Rogers proporciona uma caracterização da numeração de Gödel de funções computáveis em termos do [[:en:Smn_theorem|te ...

...lguma [[linguagem]]. A numeração pode ser usada para transferir a ideia de computabilidade e conceitos relacionados, que estão estritamente definidos sobre os números ...computáveis​​, que pode ser usado para aplicar os resultados da teoria da computabilidade sobre o conjunto de funções computáveis ​​em si. ...

Na [[teoria da computabilidade]], um [[conjunto]] de [[números naturais]] é chamado '''recursivo''', '''co **Cada número natural (como definido na teoria dos conjuntos padrão) é computável; isto é, o conjunto dos números naturais ...

Na [[teoria da computabilidade]], uma '''função semicomputável''' é uma [[função parcial]] <math> f : \mat ...

...eoria da computabilidade|teoria da recursão]] (também chamada de teoria da computabilidade) um subconjunto dos números naturais é chamado de '''conjunto simples''' se ...não é Turing-redutível ao conjunto vazio, segundo que ''K'', o [[problema da parada]], não é Turing-redutível à ''A''. Ele obteve sucesso na primeira pa ...

Na [[Teoria da computabilidade|teoria da computação]], o '''Teorema de Post''',em homenagem à [[Emil Post]], descrev ...vários conceitos relativos à [[Decidibilidade|definibilidade]] e [[teoria da recursão]]. Esta seção apresenta uma visão geral desses conceitos, que são ...

...egunda ordem]] e com sistemas fracos da [[teoria dos conjuntos]], como a [[Teoria dos Conjuntos Kripke-Platek]]. ...namento entre essas diferentes definições é uma motivação para o estudo da Teoria hiperaritmética. ...

...o de estados finitos de dois caminhos (2AFD)''' é a classe de modelos de [[computabilidade]] que se comportam como uma [[máquina de Turing]] padrão que se move em amb == Teoria == ...

...m funções computáveis, mas que não podem ser usadas na obtenção do teorema da Forma Normal de Kleene}} ...entrada para essa função, seja possível simular efetivamente a computação da entrada.O Predicado ''T'' é obtido formalizando esta simulação. ...

...ferem de "∀" e "∃" em que os quantificadores delimitados restringem a gama da variável quantificada. O estudo de quantificadores delimitados é motivado p Exemplos de quantificadores delimitados no contexto da [[análise real]] incluem "∀x> 0", "∃y <0", e "∀x ε ℝ". Informalmente "∀x> 0 ...

Na teoria da computabilidade, uma função é chamada ''limite computável'' se é o limite de uma seqüência É, portanto, suficiente para mostrar que se a computabilidade limite é preservada pela redução de Turing. Conjuntos Fix <math>X,Y</math> ...

...de [[Teoria da Computabilidade]], [[Complexidade computacional]] e[[Teoria da Prova]], uma '''Hierarquia de Crescimento Lento''' é uma família ordinal i Onde α[''n''] denota o enésimo elemento da sequência fundamental atribuída ao ordinal limite α. ...

Em [[matemática]] e [[ciência da computação]] teórica, a '''enumeração''' é a repetiçao de diversas palavras ...</math>. Essa definição é adequada por questões de [[computabilidade]] e [[teoria dos conjuntos]]. ...

...ferências válidas geram a mesma classe de funções. Modelos particulares de computabilidade que dão origem ao conjunto de funções computáveis são as [[função Turing-co ...ção|superexponencialmente]]) de acordo com o tamanho da entrada. Os campos da [[computação factível]] e [[complexidade computacional]] estudam funções qu ...

...naturais que são “computáveis” num sentido intuitivo. De fato, na [[teoria da computação]] é mostrado que as funções μ-recursivas são precisamente as que ...todas as funções recursivas é conhecido como R (Complexidade R) na teoria da complexidade computacional. ...

Em [[teoria da computabilidade]], uma '''redução por tabela-verdade''' é uma redução de um conjunto de núm ...emente, uma redução tabela-verdade fraca é uma redução de Turing que o uso da redução é delimitada por uma função calculável. Por esta razão, eles são mu ...

Em [[teoria da complexidade computacional]] e [[teoria da computabilidade]], o '''problema de busca''' é um tipo de [[problema computacional]] repres ...eto x. Um [[algoritmo]] é dito para resolver o problema se ele se comporta da seguinte forma: se pelo menos uma estrutura correspondente existe, então um ...

Na teoria da computabilidade e teoria da complexidade computacional, uma redução por mapeamento é uma redução que co [[Categoria:Teoria da computação]] ...

...mbém desempenha papeis importantes na matemática construtiva e na [[teoria da prova]]. ...sse argumento de indução é que para todo k é é possível escolher um nó n_k da maneira descrita pela construção. O conjunto de nós escolhidos na construçã ...

Na teoria da ciência da computação, o '''problema da satisfatibilidade de''' '''circuito''' (também conhecido como '''CIRCUITO-S ...ndo as cláusulas de todas as portas com uma cláusula adicional restritiva da variável de saída do circuito para ser verdade completa a redução; uma atri ...