Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Μ-recursive_function> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Μ-recursive_function abstract "In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that are "computable" in an intuitive sense. In fact, in computability theory it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines. The μ-recursive functions are closely related to primitive recursive functions, and their inductive definition (below) builds upon that of the primitive recursive functions. However, not every μ-recursive function is a primitive recursive function—the most famous example is the Ackermann function.Other equivalent classes of functions are the λ-recursive functions and the functions that can be computed by Markov algorithms.The set of all recursive functions is known as R in computational complexity theory.".
- Μ-recursive_function wikiPageID "26469".
- Μ-recursive_function wikiPageRevisionID "606103136".
- Μ-recursive_function subject Category:Computability_theory.
- Μ-recursive_function subject Category:Theory_of_computation.
- Μ-recursive_function comment "In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that are "computable" in an intuitive sense. In fact, in computability theory it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.".
- Μ-recursive_function label "Fonction récursive".
- Μ-recursive_function label "Función recursiva".
- Μ-recursive_function label "Funkcja rekurencyjna".
- Μ-recursive_function label "Funzione ricorsiva".
- Μ-recursive_function label "Função μ-recursiva".
- Μ-recursive_function label "Μ-Rekursion".
- Μ-recursive_function label "Μ-recursive function".
- Μ-recursive_function label "Μ再帰関数".
- Μ-recursive_function label "递归函数".
- Μ-recursive_function sameAs %CE%9C-recursive_function.
- Μ-recursive_function sameAs Částečně_rekurzivní_funkce.
- Μ-recursive_function sameAs Μ-Rekursion.
- Μ-recursive_function sameAs Función_recursiva.
- Μ-recursive_function sameAs Fonction_récursive.
- Μ-recursive_function sameAs Funzione_ricorsiva.
- Μ-recursive_function sameAs Μ再帰関数.
- Μ-recursive_function sameAs Funkcja_rekurencyjna.
- Μ-recursive_function sameAs Função_μ-recursiva.
- Μ-recursive_function sameAs Q284164.
- Μ-recursive_function sameAs Q284164.
- Μ-recursive_function wasDerivedFrom Μ-recursive_function?oldid=606103136.