RECURSIVE FUNCTION in Portuguese translation

• função recursiva
• função recursive
• funo recursiva

Examples of using Recursive function in English and their translations into Portuguese

it has a very high complexity that dominates every multiply recursive function.
ele tem uma complexidade muito alta que domina cada função de multiplicativa recursiva.

An introduction to recursive function theory", Cambridge University Press, 1980.
An introduction to recursive function theory", Cambridge University Press, 1980.

Such a proof establishes that the consistency of a theory"T" implies the consistency of a theory"S" by producing a primitive recursive function that can transform any proof of an inconsistency from"S" into a proof of an inconsistency from"T.
Tal prova estabelece que a consistencia de uma teoria"T" implica na consistencia de uma teoria"S" produzindo uma função recursiva primitiva que consegue transformar uma prova da inconsistencia de"S" em uma prova da inconsistencia de"T.

is a unary total recursive function that is not primitive recursive..
m) é recursiva total unária e não é recursiva primitiva.

recursive predicate R's parameters,:(x1),…,(xn)(Ey) R( y, xi,… xn) implies that μyR(y, xi,… xn)"> is a total recursive function.
xi,… xn) é uma função recursiva total.

when given the graph of a partial recursive function, always returns the graph of a partial recursive function.
operador de enumeração que, quando dado de uma função recursiva parcial, sempre retorna um gráfico de uma função recursiva parcial.

Such a proof establishes that the consistency of a theory T implies the consistency of a theory S by producing a primitive recursive function that can transform any proof of an inconsistency from S into a proof of an inconsistency from T. One sufficient condition for a consistency proof to be finitistic is the ability to formalize it in PRA.
Tal prova estabelece que a consistência de uma teoria T implica a consistência de uma teoria S produzindo uma função recursiva primitiva que consegue transformar uma prova da inconsistência de S em uma prova da inconsistência de T. Uma condição suficiente para que uma prova de consistência seja finitista é o fato de ela poder ser formalizada na PRA.

there is a primitive recursive function s of two arguments with the following property: for every Gödel
de funções recursivas, há um função recursiva primitiva s{\ displaystyle s} de dois argumentos com a seguinte propriedade:

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

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

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.

Without minimisation is the class of primitive recursive functions.
Sem minimização é a classe de 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.

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

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

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.

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.

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.

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.