Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
primitive recursive
Vertaling van "primitive recursive" in Spaans
primitivas recursivas
recursión primitiva
recursivas primitivas
primitiva recursiva
This argument provides a total computable function that is not primitive recursive.
En conclusión, deben existir funciones computables que no son primitivas recursivas.
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.
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.
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.
Adding the operator to the five primitive recursive operators makes it possible to define all computable functions. Contents DefinitionEdit
Las funciones recursivas se definen agregándole a la recursión primitiva el operador de búsqueda no acotada que permite definir funciones parciales.
Primitive recursive function - Wikipedia, the free encyclopedia
Recursión primitiva - Wikipedia, la enciclopedia libre
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 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.)
For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.
Para poder hacer esto, se requiere generalmente que cada paso individual de la demostración pueda ser verificado por una función recurrente primitiva o programa, y por lo tanto el problema es siempre decidible.
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.
PR is the complexity class of all primitive recursive functions-or, equivalently, the set of all formal languages that can be decided by such a function.
PR Es la clase de complejidad de todas las funciones recursivas primitivas o, de forma equivalente, el conjunto de todos los lenguajes formales que pueden ser decididos por tales funciones.
Synoniemen voor primitive recursive in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 29. Exact: 29. Verstreken tijd: 34 ms.
