| dbo:abstract |
Eine Indexmenge (von engl. index set), auch semantische Menge genannt, ist in der Berechenbarkeitstheorie eine Vereinigung von Gödelnummern berechenbarer Funktionen, die alle Indizes von Funktionen einer bestimmten Klasse enthalten. (de) In computability theory, index sets describe classes of computable functions; specifically, they give all indices of functions in a certain class, according to a fixed Gödel numbering of partial computable functions. (en) |
| dbo:wikiPageID |
18821368 (xsd:integer) |
| dbo:wikiPageLength |
4145 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1090243923 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Computability_theory dbr:Computable_function dbr:Computably_enumerable dbr:Arithmetical_hierarchy dbr:Many-one_reduction dbr:Halting_problem dbc:Computability_theory dbr:Rice's_theorem dbr:Gödel_number |
| dbp:wikiPageUsesTemplate |
dbt:Cite_book dbt:Reflist dbt:Short_description |
| dct:subject |
dbc:Computability_theory |
| rdfs:comment |
Eine Indexmenge (von engl. index set), auch semantische Menge genannt, ist in der Berechenbarkeitstheorie eine Vereinigung von Gödelnummern berechenbarer Funktionen, die alle Indizes von Funktionen einer bestimmten Klasse enthalten. (de) In computability theory, index sets describe classes of computable functions; specifically, they give all indices of functions in a certain class, according to a fixed Gödel numbering of partial computable functions. (en) |
| rdfs:label |
Indexmenge (Berechenbarkeitstheorie) (de) Index set (computability) (en) |
| owl:sameAs |
wikidata:Index set (computability) dbpedia-de:Index set (computability) https://global.dbpedia.org/id/44p5R |
| prov:wasDerivedFrom |
wikipedia-en:Index_set_(computability)?oldid=1090243923&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Index_set_(computability) |
| is dbo:wikiPageRedirects of |
dbr:Index_set_(recursion_theory) |
| is dbo:wikiPageWikiLink of |
dbr:Index_set_(recursion_theory) |
| is foaf:primaryTopic of |
wikipedia-en:Index_set_(computability) |