Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Primitive_recursive_function> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Primitive_recursive_function abstract "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). Primitive recursive functions form an important building block on the way to a full formalization of computability. These functions are also important in proof theory.Most of the functions normally studied in number theory are primitive recursive. For example: addition, division, factorial, exponential and the nth prime are all primitive recursive. So are many approximations to real-valued functions. In fact, it is difficult to devise a computable function that is not primitive recursive, although some are known (see the section on Limitations below).The set of primitive recursive functions is known as PR in computational complexity theory.".
- Primitive_recursive_function wikiPageExternalLink 0603063v3.
- Primitive_recursive_function wikiPageExternalLink 1230396909.
- Primitive_recursive_function wikiPageExternalLink compute.pdf.
- Primitive_recursive_function wikiPageID "24829".
- Primitive_recursive_function wikiPageRevisionID "645763569".
- Primitive_recursive_function hasPhotoCollection Primitive_recursive_function.
- Primitive_recursive_function subject Category:Computability_theory.
- Primitive_recursive_function subject Category:Functions_and_mappings.
- Primitive_recursive_function subject Category:Recursion.
- Primitive_recursive_function subject Category:Theory_of_computation.
- Primitive_recursive_function type Abstraction100002137.
- Primitive_recursive_function type Function113783816.
- Primitive_recursive_function type FunctionsAndMappings.
- Primitive_recursive_function type MathematicalRelation113783581.
- Primitive_recursive_function type Relation100031921.
- Primitive_recursive_function comment "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). Primitive recursive functions form an important building block on the way to a full formalization of computability.".
- Primitive_recursive_function label "Fonction récursive primitive".
- Primitive_recursive_function label "Funzione ricorsiva primitiva".
- Primitive_recursive_function label "Função recursiva primitiva".
- Primitive_recursive_function label "Primitief recursieve functie".
- Primitive_recursive_function label "Primitiv-rekursive Funktion".
- Primitive_recursive_function label "Primitive recursive function".
- Primitive_recursive_function label "Primitivně rekurzivní funkce".
- Primitive_recursive_function label "Recursió primitiva".
- Primitive_recursive_function label "Recursión primitiva".
- Primitive_recursive_function label "Рекурсивная функция (теория вычислимости)".
- Primitive_recursive_function label "原始再帰関数".
- Primitive_recursive_function sameAs Primitivně_rekurzivní_funkce.
- Primitive_recursive_function sameAs Primitiv-rekursive_Funktion.
- Primitive_recursive_function sameAs Recursión_primitiva.
- Primitive_recursive_function sameAs Fonction_récursive_primitive.
- Primitive_recursive_function sameAs Funzione_ricorsiva_primitiva.
- Primitive_recursive_function sameAs 原始再帰関数.
- Primitive_recursive_function sameAs Primitief_recursieve_functie.
- Primitive_recursive_function sameAs Função_recursiva_primitiva.
- Primitive_recursive_function sameAs m.066ml.
- Primitive_recursive_function sameAs Q1570472.
- Primitive_recursive_function sameAs Q1570472.
- Primitive_recursive_function sameAs Primitive_recursive_function.
- Primitive_recursive_function wasDerivedFrom Primitive_recursive_function?oldid=645763569.
- Primitive_recursive_function isPrimaryTopicOf Primitive_recursive_function.