Pojmem primitivně rekurzivní funkce (PRF) se v teorii vyčíslitelnosti označuje třída v jistém smyslu „jednoduchých“ funkcí. Jejich rozšířením je třída částečně rekurzivních funkcí (ČRF).

PropertyValue
dbpedia-owl:abstract
  • Pojmem primitivně rekurzivní funkce (PRF) se v teorii vyčíslitelnosti označuje třída v jistém smyslu „jednoduchých“ funkcí. Jejich rozšířením je třída částečně rekurzivních funkcí (ČRF).
dbpedia-owl:wikiPageID
  • 92495 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3801 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 12877287 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • primitivně rekurzivní
  • primitivně rekurzivní funkce
dcterms:subject
rdfs:comment
  • Pojmem primitivně rekurzivní funkce (PRF) se v teorii vyčíslitelnosti označuje třída v jistém smyslu „jednoduchých“ funkcí. Jejich rozšířením je třída částečně rekurzivních funkcí (ČRF).
rdfs:label
  • Primitivně rekurzivní funkce
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of