En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives.

Property Value
dbo:abstract
  • En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives. (fr)
  • En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives. (fr)
dbo:wikiPageID
  • 60980 (xsd:integer)
dbo:wikiPageLength
  • 17682 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185613191 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Récursivité dans l'algorithmique et la programmation (fr)
  • Récursivité dans l'algorithmique et la programmation (fr)
prop-fr:wikiversityTitre
  • Récursivité dans l'algorithmique et la programmation (fr)
  • Récursivité dans l'algorithmique et la programmation (fr)
dct:subject
rdfs:comment
  • En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives. (fr)
  • En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives. (fr)
rdfs:label
  • Fonction récursive primitive (fr)
  • Funzione ricorsiva primitiva (it)
  • Primitiv-rekursive Funktion (de)
  • Primitive recursive function (en)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of