About: General recursive function

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: General recursive function Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Fonction récursive (fr) Funkcja rekurencyjna (pl) Funzione ricorsiva (it) General recursive function (en) Μ-Rekursion (de)
rdfs:comment	En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini. En fait, cela fait référence à deux concepts liés, mais distincts. En théorie de la calculabilité, la classe des fonctions récursives est une classe plus générale que celle des fonctions récursives primitives. En informatique, les fonctions récursives sont des fonctions dont le calcul nécessite d'invoquer la fonction elle-même, c'est-à-dire que dans ce deuxième cas, on insiste plutôt sur la façon dont le calcul est mis en œuvre que sur la classe de fonctions. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/RecursiveFunction.html https://ncatlab.org/nlab/show/recursive%20function https://www.britannica.com/topic/recursive-function http://psh.ntkcz.cz/skos/PSH7119
sameAs	General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function General recursive function
Wikipage page ID	85472 (xsd:integer)
Wikipage revision ID	187494727 (xsd:integer)
dbo:wikiPageWikiLink	Recursion (computer science) category-fr:Calculabilité category-fr:Stephen_Cole_Kleene Gödel numbering dbpedia-fr:Décidabilité dbpedia-fr:Définition_par_récurrence dbpedia-fr:Effet_de_bord_(informatique) Computable set Computable function Indicator function Ackermann function Sudan function dbpedia-fr:Fonction_déterministe dbpedia-fr:Fonction_partielle_récursive Pure function Primitive recursive function Idempotence Computer science Jacques Herbrand dbpedia-fr:Kurt_Gödel Lambda calculus dbpedia-fr:Langage_formel dbpedia-fr:Langage_récursif dbpedia-fr:Logique_mathématique Turing machine dbpedia-fr:N-uplet dbpedia-fr:Pierre_Wolper dbpedia-fr:Problème_de_décision dbpedia-fr:Programmation_informatique dbpedia-fr:Routine_(informatique) dbpedia-fr:Récursivement_énumérable dbpedia-fr:Réentrance dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Thread_safety dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_de_la_calculabilité Kleene's recursion theorem Kleene fixed-point theorem dbpedia-fr:Transparence_référentielle dbpedia-fr:Mathématiques dbpedia-fr:Fonctions_récursives_générales
page length (characters) of wiki page	6461 (xsd:nonNegativeInteger)
dct:subject	category-fr:Calculabilité category-fr:Stephen_Cole_Kleene
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Autres_projets dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:À_sourcer dbpedia-fr:Modèle:On_Computable_Numbers
prov:wasDerivedFrom	wikipedia-fr:Fonction_récursive?oldid=187494727&ns=0
prop-fr:wikiversity	Récursivité dans l'algorithmique et la programmation (fr)
prop-fr:wikiversityTitre	Récursivité dans l'algorithmique et la programmation (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Fonction_récursive
has abstract	En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini. En fait, cela fait référence à deux concepts liés, mais distincts. En théorie de la calculabilité, la classe des fonctions récursives est une classe plus générale que celle des fonctions récursives primitives. En informatique, les fonctions récursives sont des fonctions dont le calcul nécessite d'invoquer la fonction elle-même, c'est-à-dire que dans ce deuxième cas, on insiste plutôt sur la façon dont le calcul est mis en œuvre que sur la classe de fonctions. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Algebra_and_Logic Recursion (computer science) Alonzo Church dbpedia-fr:Anyflo Trace tree dbpedia-fr:Automate_cellulaire COBOL Implicit computational complexity dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Déployeur_universel

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software