Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
primitive recursive functions
Vertaling van "primitive recursive functions" in Spaans
funciones primitivas recursivas
funciones de recursión primitiva
funciones recursivas primitivas
In this paper, we attempt to show that his thesis "The finitist functions are precisely the primitive recursive functions" is disputable and that another, likewise defended by him, is untenable.
En este artículo tratamos de mostrar que su tesis "Las funciones finitistas son precisamente las funciones primitivas recursivas" es discutible y que otra, también defendida por él, resulta insostenible.
The μ-recursive functions are closely related to primitive recursive functions, and their inductive definition (below) builds upon that of the primitive recursive functions.
Las funciones recursivas están relacionadas con las funciones primitivas recursivas y su definición inductiva se construye basándose en la de las funciones primitivas recursivas (estas se obtienen por medio de recursión primitiva y composición de funciones iniciales).
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.
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.
The definitions of elementary recursive functions are the same as for primitive recursive functions, except that primitive recursion is replaced by bounded summation and bounded product.
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 y productos acotados.
In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central operations and are a strict subset of the total µ-recursive functions (µ-recursive functions are also called partial recursive).
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.
This means that there is a single computable function f(m, n) that enumerates the primitive recursive functions, namely
Sin embargo, esta noción es un poco confusa. Considere por ejemplo la definición de la función factorial f(n) definida recursivamente por
Because the method of Gödel numbering was novel, and to avoid any ambiguity, Gödel presented a list of 45 explicit formal definitions of primitive recursive functions and relations used to manipulate and test Gödel numbers.
Ya que el método de numeración de Gödel era novedoso, y para evitar la ambigüedad, Gödel presentó una lista de 45 definiciones formales explícitas de funciones de recursión primitiva y relaciones usadas para manipular y probar los números de Gödel.
(The contemporary terminology for recursive functions and primitive recursive functions had not yet been established when the paper was published; Gödel used the word rekursiv ("recursive") for what are now known as primitive recursive functions.)
(La terminología contemporánea de recursión y recursión primitiva aún no se habían establecido cuando el artículo fue publicado; Gödel usó a palabra rekursiv ("recursivo") para lo que hoy se conocen como funciones de recursión primitiva.)
A subset of these is the primitive recursive functions.
El conjunto de las funciones primitivas recursivas se define según las siguientes reglas
The recursive functions are closely related to primitive recursive functions, and their inductive definition (below) builds upon that of the primitive recursive functions.
Las funciones recursivas están relacionadas con las funciones primitivas recursivas y su definición inductiva se construye basándose en la de las funciones primitivas recursivas (estas se obtienen por medio de recursión primitiva y composición de funciones iniciales).
The functions that can be programmed in the LOOP programming language are exactly the primitive recursive functions.
El conjunto de las funciones recursivas totales es el subconjunto de las funciones recursivas parciales que además son funciones totales.
The set of primitive recursive functions is known as PR in computational complexity theory.
2.1 El conjunto de las funciones primitivas recursivas se define según las siguientes reglas
Synoniemen voor primitive recursive functions in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 39 ms.
