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
| |
dbo:wikiPageLength
|
- 4145 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
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
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |