O Que é RECURSIVE FUNCTIONS em Português

• funções recursivas
• recursive functions
• função recursiva

Exemplos de uso de Recursive functions em Inglês e suas traduções para o Português

This is what recursive functions do.
Isto é o que a função recursiva faz.

Without minimisation is the class of primitive recursive functions.
Sem minimização é a classe de funções recursivas primitivas.

The terminology for recursive functions and sets is not completely standardized.
A terminologia para funções recursivas e conjuntos não é completamente padronizada.

Fractals can be computed(up to a given resolution) by recursive functions.
Os fractais podem ser calculadas(até uma determinada resolução) através de funções recursivas.

Primitive recursive functions are a defined subclass of the recursive functions..
As funções recursivas primitivas formam uma subclasse das funções recursivas..

From these basic functions, we can build other elementary recursive functions.
Destas funções básicas, podemos construir outras funções recursivas elementares.

ISBN 0-7204-2103-9* Rogers, H."Theory of Recursive Functions and Effective Computability", MIT Press.
Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.

Recursive functions of symbolic expressions and their computation by machine, Part I.
Recursive functions of symbolic expressions and their computation by machine, Part I»(PDF) em inglês.

The diagonal lemma applies to theories capable of representing all primitive recursive functions.
O lema da diagonal se aplica a teorias capazes de representar todos as funções recursivas primitivas.

References==* Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.
Referências==* Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.

Later in 1943 and 1952 Stephen Kleene defined an equivalent concept in terms of recursive functions.
Depois, em 1943 e 1952, Stephen Kleene definiu um conceito equivalente sobre a definição de funções recursivas.

The set of all recursive functions is known as R in computational complexity theory.
O conjunto de todas as funções recursivas é conhecido como R(Complexidade R) na teoria da complexidade computacional.

The μ operator is used in the characterization of the computable functions as the μ recursive functions.
O operador µ é usado na caracterização de funções computáveis tais quais funções recursivas µ.

Among them, the version of the recursive functions and the version of the turing-computable functions..
Dentre elas, a versão das funções recursivas e a versão das funções turing-computáveis.

By Rice's Theorem, deciding membership in any nontrivial subset of the set of recursive functions is RE-hard.
Pelo Teorema de Rice, decidir a pertinência em qualquer subconjunto não-trivial do conjunto de funções recursivas é RE-hard.

The broader class of partial recursive functions is defined by introducing an unbounded search operator.
A classe mais abrangente de funções recursivas parciais é definida por introduzir um operador de busca infinito.

In the late 19th century, Leopold Kronecker formulated notions of computability, defining primitive recursive functions.
Em meados do século 19, Leopold Kronecker formulou noções de computação, definindo funções recursivas primitivas.

And, in the context of"partial" recursive functions Kleene later admits a third outcome:"μ undecided", pp.
E, no contexto de funções recursivas"parciais" Kleene mais tarde admite um terceiro resultado:"µ indecidível", pp.

It is also one of the primitive functions used in the characterization of computability by recursive functions.
É também uma das funções primitivas utilizadas na caracterização da computação por funções recursivas.

He submitted his principal study of proof theory and general recursive functions"On the consistency of arithmetic" early in 1931.
Ele submeteu seu principal estudo sobre da teoria da prova e funções recursivas gerais,"On the consistency of arithmetic"(Sobre a consistência da aritmética) no início de 1931.

The demonstration will use a"successor" counter machine model closely related to the Peano Axioms and the primitive recursive functions.
A demonstração usará uma modelo de contra-máquina"sucessora" bastante relativa aos Axiomas de Peano e as funções recursivas primitivas.

Relationship to recursive functions==The broader class of partial recursive functions is defined by introducing an unbounded search operator.
Relacionamento com funções recursivas==A classe mais abrangente de funções recursivas parciais é definida por introduzir um operador de busca infinito.

On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines.
Em uma teoria da computação e complexidade nos números reais: NP-completude, funções recursivas e máquinas universais.

All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive..
Todas as funções recursivas primitivas são totais e computáveis, mas a Função de Ackermann mostra que nem toda função total-computável é recursiva primitiva.

Every primitive recursive function is total recursive, but not all total recursive functions are primitive recursive..
Toda função recursiva primitiva é recursiva total, mas nem todas as funções recursivas totais são primitivas recursivas..

The primitive recursive functions are closely related to mathematical finitism, and are used in several contexts in mathematical logic where a particularly constructive system is desired.
A Função de Sudan As funções recursivas primitivas estão intimamente relacionadas ao finitismo matemático, e são usadas em vários contextos na logica matematica, onde um particular sistema construtiva é desejado.

He immediately goes on to state that indeed the Gödel-Herbrand definition does indeed"characterize all recursive functions"- see the quote in 1934, below.
Ele imediatamente afirma que, de fato, a definição de Gödel-Herbrand, realmente"caracteriza todas as funções recursivas"- veja a citação em 1934, abaixo.

A sketch of the proof is as follows:: The primitive recursive functions of one argument(i.e., unary functions) can be computably enumerated.
Um rascunho da prova é como se segue:: As funções recursivas primitivas de um argumento(i.e., funções unárias) podem ser enumeradas computavelmente.

Then the five primitive recursive operators plus the unbounded-but-total μ-operator give rise to what Kleene called the"general" recursive functions i.e.
Então os cinco operadores recursivos primitivos mais o ilimitado-mas-total operador-µ da margem ao que Kleene chamou de funções recursivas"genéricas" i.e.

An important property of the primitive recursive functions is that they are a recursively enumerable subset of the set of all total recursive functions which is not itself recursively enumerable.
Uma propriedade importante de funções recursivas primitivas é que elas são um subconjunto recursivamente enumerável do conjunto de todas as funções recursivas totaiso qual não é recursivamente enumerável.