Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Recursive_set> ?p ?o }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Recursive_set abstract "In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether a given number belongs to the set.A more general class of sets consists of the recursively enumerable sets, also called semidecidable sets. For these sets, it is only required that there is an algorithm that correctly decides when a number is in the set; the algorithm may give no answer (but not the wrong answer) for numbers not in the set.A set which is not computable is called noncomputable or undecidable.".
- Recursive_set wikiPageID "332264".
- Recursive_set wikiPageLength "3630".
- Recursive_set wikiPageOutDegree "31".
- Recursive_set wikiPageRevisionID "690877818".
- Recursive_set wikiPageWikiLink Alex_Sakharov.
- Recursive_set wikiPageWikiLink Algorithm.
- Recursive_set wikiPageWikiLink Arithmetical_hierarchy.
- Recursive_set wikiPageWikiLink Bijection.
- Recursive_set wikiPageWikiLink Category:Computability_theory.
- Recursive_set wikiPageWikiLink Category:Theory_of_computation.
- Recursive_set wikiPageWikiLink Cofiniteness.
- Recursive_set wikiPageWikiLink Complement_(set_theory).
- Recursive_set wikiPageWikiLink Computability_theory.
- Recursive_set wikiPageWikiLink Computable_function.
- Recursive_set wikiPageWikiLink Empty_set.
- Recursive_set wikiPageWikiLink Formal_language.
- Recursive_set wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Recursive_set wikiPageWikiLink If_and_only_if.
- Recursive_set wikiPageWikiLink Image_(mathematics).
- Recursive_set wikiPageWikiLink Indicator_function.
- Recursive_set wikiPageWikiLink Natural_number.
- Recursive_set wikiPageWikiLink Pairing_function.
- Recursive_set wikiPageWikiLink Partial_function.
- Recursive_set wikiPageWikiLink Prime_number.
- Recursive_set wikiPageWikiLink Recursive_language.
- Recursive_set wikiPageWikiLink Recursively_enumerable_set.
- Recursive_set wikiPageWikiLink Set-theoretic_definition_of_natural_numbers.
- Recursive_set wikiPageWikiLink Set_(mathematics).
- Recursive_set wikiPageWikiLinkText "Decidability".
- Recursive_set wikiPageWikiLinkText "Decidable set".
- Recursive_set wikiPageWikiLinkText "Recursive set".
- Recursive_set wikiPageWikiLinkText "Recursive".
- Recursive_set wikiPageWikiLinkText "computable set".
- Recursive_set wikiPageWikiLinkText "computable sets".
- Recursive_set wikiPageWikiLinkText "decidable".
- Recursive_set wikiPageWikiLinkText "decided".
- Recursive_set wikiPageWikiLinkText "recursive set".
- Recursive_set wikiPageWikiLinkText "recursive subset".
- Recursive_set wikiPageWikiLinkText "recursive".
- Recursive_set wikiPageWikiLinkText "total computable predicate".
- Recursive_set wikiPageWikiLinkText "undecidable".
- Recursive_set author Alex_Sakharov.
- Recursive_set id "RecursiveSet".
- Recursive_set title "Recursive Set".
- Recursive_set wikiPageUsesTemplate Template:=.
- Recursive_set wikiPageUsesTemplate Template:Math.
- Recursive_set wikiPageUsesTemplate Template:MathWorld.
- Recursive_set wikiPageUsesTemplate Template:Mathematical_logic.
- Recursive_set wikiPageUsesTemplate Template:Set_theory.
- Recursive_set wikiPageUsesTemplate Template:Su.
- Recursive_set subject Category:Computability_theory.
- Recursive_set subject Category:Theory_of_computation.
- Recursive_set hypernym Algorithm.
- Recursive_set type Area.
- Recursive_set type Software.
- Recursive_set type Area.
- Recursive_set comment "In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether a given number belongs to the set.A more general class of sets consists of the recursively enumerable sets, also called semidecidable sets.".
- Recursive_set label "Recursive set".
- Recursive_set sameAs Q877945.
- Recursive_set sameAs Conjunt_recursiu.
- Recursive_set sameAs Entscheidbar.
- Recursive_set sameAs Αναδρομικό_σύνολο.
- Recursive_set sameAs Komputebla_aro.
- Recursive_set sameAs Conjunto_recursivo.
- Recursive_set sameAs مجموعه_بازگشتی.
- Recursive_set sameAs Ensemble_récursif.
- Recursive_set sameAs קבוצה_רקורסיבית.
- Recursive_set sameAs Neodlučivost.
- Recursive_set sameAs Insieme_ricorsivo.
- Recursive_set sameAs 帰納的集合.
- Recursive_set sameAs Zbiór_rekurencyjny.
- Recursive_set sameAs Conjunto_recursivo.
- Recursive_set sameAs m.01x179.
- Recursive_set sameAs Разрешимое_множество.
- Recursive_set sameAs Decidability_theory.
- Recursive_set sameAs Рекурзиван_скуп.
- Recursive_set sameAs Q877945.
- Recursive_set sameAs 递归集合.
- Recursive_set wasDerivedFrom Recursive_set?oldid=690877818.
- Recursive_set isPrimaryTopicOf Recursive_set.