RECURSIVE FUNCTION in Spanish translation

We are not limited to defining recursive functions over the Int type!

¡No estamos limitados a definir funciones recursivas sobre el tipo Int!

theory of recursive functions.

la teoría de las funciones recursivas.

The same problem occurs for recursive functions.

El mismo problema ocurre para las funciones recursivas.

From these basic functions, we can build other elementary recursive functions.

A partir de estas funciones básicas, se puede construir otras funciones recursivas elementales.

This is particularly a problem in what are known as recursive functions, or in essence functions that call themselves,

Esto es particularmente un problema en lo que se conoce como funciones recursivas, o en esencia funciones que se llaman a sí mismas,

You can write recursive functions to be frugal

Puedes escribir funciones recursivas para que sean frugales

alternative, recursive functions, parameter passing,

alternativas, funciones recursivas, paso de parámetros,

Recursive functions invoke themselves, letting an operation be repeated until it reaches the base case.

Las funciones recursivas se invocan a sí mismas, permitiendo que una operación se realice una y otra vez hasta alcanzar el caso base.

The definitions of elementary recursive functions are the same as for primitive recursive functions, except that primitive recursion is replaced by bounded summation

Las definiciones de funciones recursivas elementales son similares a las de las funciones recursivas primitivas, excepto que la recursión primitiva se reemplaza por sumas

Lower elementary recursive functions follow the definitions as above, except that bounded product is disallowed.

La clase LOWER-ELEMENTARY está basada en las funciones recursivas elementales inferiores las cuales siguen la definición anterior, excepto que no se usa el producto acotado.

Whereas elementary recursive functions have potentially more than exponential growth, the lower elementary recursive functions have polynomial growth.

Si bien las funciones recursivas elementales tienen potencialmente crecimiento mayor a exponencial, las funciones recursivas elementales inferiores tienen crecimiento polinómico.

The primitive recursive functions are a subset of the total recursive functions, which are a subset of the partial recursive functions..

El conjunto de las funciones recursivas totales es el subconjunto de las funciones recursivas parciales que además son funciones totales.

Gödel shows that many properties of these proofs can be defined within any theory of arithmetic that is strong enough to define the primitive recursive functions.

Gödel muestra que muchas propiedades de estas pruebas pueden ser definidas dentro de cualquier teoría de aritmética que sea suficientemente robusta como para definir las funciones de recursión primitiva.

allowing programs involving recursive functions and looping-control constructs to be given denotational semantics.

que dota a los programas con funciones recursivas y estructuras de control de bucles de semántica denotativa.

During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept of truth.

En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la función recursiva, e impartió una conferencia sobre dichas funciones y sobre el concepto de verdad.

As with directly recursive functions, a wrapper function may be useful, with the mutually recursive functions defined as nested functions within its scope if this is supported.

Al igual que con las funciones recursivas directas, una función contenedora puede ser útil, con las funciones mutuamente recursivas definidas como funciones anidadas dentro de su alcance si esto es compatible.

In mathematical logic and computer science, the general recursive functions(often shortened to recursive functions)

En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son

ended up applying recursive functions to computers.

que acabó aplicando las funciones recursivas a los ordenadores.

Gödel used the word rekursiv("recursive") for what are now known as primitive recursive functions.

Gödel usó a palabra rekursiv("recursivo") para lo que hoy se conocen como funciones de recursión primitiva.

datatype'a tree Empty| Node of'a*'a forest and'a forest Nil| Cons of'a tree*'a forest Just as algorithms on recursive data types can naturally be given by recursive functions, algorithms on mutually recursive data structures can be naturally given by mutually recursive functions.

Node of'a*'a forest and'a forest Nil| Cons of'a tree*'a forest Del mismo modo que los algoritmos en los tipos de datos recursivos pueden ser dados naturalmente por funciones recursivas, los algoritmos en las estructuras de datos mutuamente recursivas pueden ser dados naturalmente por funciones mutuamente recursivas.