This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n8	http://g.co/kg/g/
dct	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
rdfs	http://www.w3.org/2000/01/rdf-schema#
category-fr	http://fr.dbpedia.org/resource/Catégorie:
n6	http://fr.dbpedia.org/resource/Modèle:
wikipedia-fr	http://fr.wikipedia.org/wiki/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-fr	http://fr.dbpedia.org/resource/
prop-fr	http://fr.dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/

Statements

Subject Item

dbpedia-fr:Fonction_partielle_récursive

rdfs:label

Fonction partielle récursive

rdfs:comment

Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church, la classe des fonctions partielles récursives est exactement l'ensemble des fonctions numériques pouvant être décrites par un algorithme (ou tout mécanisme de calcul). Un algorithme, ou un programme, calculant la fonction : D'un point de vue plus formel, elles correspondent aux relations fonctionnelles (Hiérarchie arithmétique).

owl:sameAs

n8:122np5vq wikidata:Q3075253

dbo:wikiPageID

314881

dbo:wikiPageRevisionID

155153445

dbo:wikiPageWikiLink

dbpedia-fr:Thèse_de_Church dbpedia-fr:Fonction_récursive dbpedia-fr:Algorithmique dbpedia-fr:Fonction_numérique dbpedia-fr:Ensemble_de_définition dbpedia-fr:Programme_informatique dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Machine_de_Turing category-fr:Calculabilité dbpedia-fr:Hiérarchie_arithmétique dbpedia-fr:Théorie_de_la_calculabilité

dbo:wikiPageLength

1701

dct:subject

category-fr:Calculabilité

prop-fr:wikiPageUsesTemplate

n6:Ébauche n6:Références n6:Portail

prov:wasDerivedFrom

wikipedia-fr:Fonction_partielle_récursive?oldid=155153445&ns=0

foaf:isPrimaryTopicOf

wikipedia-fr:Fonction_partielle_récursive

dbo:abstract

Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church, la classe des fonctions partielles récursives est exactement l'ensemble des fonctions numériques pouvant être décrites par un algorithme (ou tout mécanisme de calcul). Un algorithme, ou un programme, calculant la fonction : est appelé une fonction partielle récursive. Partielle car son ensemble de définition, son domaine, est un sous-ensemble . Si son domaine est tout entier, alors il s'agit d'une fonction récursive totale. La fonction est dite récursive car elle est calculable par un algorithme, c'est-à-dire qu'un ensemble fini d'instructions est capable de fournir, après un nombre fini d'étapes, la valeur quel que soit . L'algorithme doit spécifier l'étape suivante à partir de l'étape précédente de manière non ambigüe, et pour toute valeur de du domaine. D'un point de vue plus formel, elles correspondent aux relations fonctionnelles (Hiérarchie arithmétique).