| 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
| |
| dbo:wikiPageLength
|
- 17682 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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 | |
