Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Primitive_recursive_function> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items 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. The term was coined by Rózsa Péter.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 complexity theory.Every primitive recursive function is a general recursive function.".
- 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 "602071625".
- 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. These functions are also important in proof theory.".
- 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 "Primitiv-rekursive Funktion".
- Primitive_recursive_function label "Primitive recursive function".
- Primitive_recursive_function label "Recursión primitiva".
- Primitive_recursive_function label "Рекурсивная функция (теория вычислимости)".
- 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 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=602071625.
- Primitive_recursive_function isPrimaryTopicOf Primitive_recursive_function.