Částečně rekurzivní funkce (ČRF) je termín, kterým se v teorii vyčíslitelnosti označují funkce v jistém smyslu „složitější“ než tzv. primitivně rekurzivní funkce

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Částečně rekurzivní funkce (ČRF) je termín, kterým se v teorii vyčíslitelnosti označují funkce v jistém smyslu „složitější“ než tzv. primitivně rekurzivní funkce
dbpedia-owl:wikiPageID
  • 92714 (xsd:integer)
dbpedia-owl:wikiPageInterLanguageLink
dbpedia-owl:wikiPageLength
  • 1736 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16307286 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • částečně rekurzivní funkce
  • částečně rekurzivní funkci
  • ČRF
  • Částečně rekurzivní funkce
  • částečně rekurzivních funkcí
  • rekurzivních funkcí
dcterms:subject
rdfs:comment
  • Částečně rekurzivní funkce (ČRF) je termín, kterým se v teorii vyčíslitelnosti označují funkce v jistém smyslu „složitější“ než tzv. primitivně rekurzivní funkce
rdfs:label
  • Částečně rekurzivní funkce
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of