Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Μ-recursive_function> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples 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 wikiPageExternalLink recursive_functions_to_turing_machines.
- Μ-recursive_function wikiPageExternalLink recursive-functions.
- Μ-recursive_function wikiPageID "26469".
- Μ-recursive_function wikiPageLength "11072".
- Μ-recursive_function wikiPageOutDegree "33".
- Μ-recursive_function wikiPageRevisionID "638394223".
- Μ-recursive_function wikiPageWikiLink Ackermann_function.
- Μ-recursive_function wikiPageWikiLink Category:Computability_theory.
- Μ-recursive_function wikiPageWikiLink Category:Theory_of_computation.
- Μ-recursive_function wikiPageWikiLink Churchs_thesis.
- Μ-recursive_function wikiPageWikiLink Church–Turing_thesis.
- Μ-recursive_function wikiPageWikiLink Computability_theory.
- Μ-recursive_function wikiPageWikiLink Computability_theory_(computation).
- Μ-recursive_function wikiPageWikiLink Computational_complexity_theory.
- Μ-recursive_function wikiPageWikiLink Computer_science.
- Μ-recursive_function wikiPageWikiLink Fibonacci_number.
- Μ-recursive_function wikiPageWikiLink George_Boolos.
- Μ-recursive_function wikiPageWikiLink John_P._Burgess.
- Μ-recursive_function wikiPageWikiLink Kleenes_T_predicate.
- Μ-recursive_function wikiPageWikiLink Lambda-recursive_function.
- Μ-recursive_function wikiPageWikiLink Lambda_calculus.
- Μ-recursive_function wikiPageWikiLink Markov_algorithm.
- Μ-recursive_function wikiPageWikiLink Marvin_L._Minsky.
- Μ-recursive_function wikiPageWikiLink Marvin_Minsky.
- Μ-recursive_function wikiPageWikiLink Mathematical_logic.
- Μ-recursive_function wikiPageWikiLink McCarthy_91_function.
- Μ-recursive_function wikiPageWikiLink Natural_number.
- Μ-recursive_function wikiPageWikiLink Partial_function.
- Μ-recursive_function wikiPageWikiLink Primitive_recursive_function.
- Μ-recursive_function wikiPageWikiLink Primitive_recursive_functions.
- Μ-recursive_function wikiPageWikiLink R_(complexity).
- Μ-recursive_function wikiPageWikiLink Recursion.
- Μ-recursive_function wikiPageWikiLink Recursion_(computer_science).
- Μ-recursive_function wikiPageWikiLink Recursion_theory.
- Μ-recursive_function wikiPageWikiLink Register_machine.
- Μ-recursive_function wikiPageWikiLink Richard_Jeffrey.
- Μ-recursive_function wikiPageWikiLink Stephen_Cole_Kleene.
- Μ-recursive_function wikiPageWikiLink Stephen_Kleene.
- Μ-recursive_function wikiPageWikiLink Turing_machine.
- Μ-recursive_function wikiPageWikiLink Universal_Turing_machine.
- Μ-recursive_function wikiPageWikiLink Μ_operator.
- Μ-recursive_function wikiPageWikiLinkText "μ-recursive functions".
- Μ-recursive_function wikiPageWikiLinkText "general recursive functions".
- Μ-recursive_function wikiPageWikiLinkText "partial recursive function".
- Μ-recursive_function wikiPageWikiLinkText "recursive functions".
- Μ-recursive_function wikiPageWikiLinkText "recursive".
- Μ-recursive_function wikiPageWikiLinkText "µ-recursive function".
- Μ-recursive_function wikiPageWikiLinkText "Μ-recursive function".
- Μ-recursive_function wikiPageWikiLinkText "Μ-recursive_function".
- Μ-recursive_function wikiPageWikiLinkText "μ recursion".
- Μ-recursive_function wikiPageWikiLinkText "μ-recursion".
- Μ-recursive_function wikiPageWikiLinkText "μ-recursive function".
- Μ-recursive_function hasPhotoCollection Μ-recursive_function.
- Μ-recursive_function wikiPageUsesTemplate Template:Expand_section.
- Μ-recursive_function wikiPageUsesTemplate Template:Lowercase.
- Μ-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 "Μ-recursive function".
- Μ-recursive_function sameAs Funció_recursiva.
- Μ-recursive_function sameAs Částečně_rekurzivní_funkce.
- Μ-recursive_function sameAs Μ-Rekursion.
- Μ-recursive_function sameAs Función_recursiva.
- Μ-recursive_function sameAs تابع_μ-بازگشتی.
- Μ-recursive_function sameAs Fonction_récursive.
- Μ-recursive_function sameAs פונקציה_רקורסיבית.
- Μ-recursive_function sameAs Funzione_ricorsiva.
- Μ-recursive_function sameAs Μ再帰関数.
- Μ-recursive_function sameAs Μ-recursieve_functie.
- Μ-recursive_function sameAs Funkcja_rekurencyjna.
- Μ-recursive_function sameAs Função_μ-recursiva.
- Μ-recursive_function sameAs m.06lj6.
- Μ-recursive_function sameAs Q284164.
- Μ-recursive_function sameAs Q284164.
- Μ-recursive_function sameAs 递归函数.
- Μ-recursive_function wasDerivedFrom Μ-recursive_function?oldid=638394223.
- Μ-recursive_function isPrimaryTopicOf Μ-recursive_function.