| Property |
Value |
| dbo:abstract
|
- En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné. Une fonction est définie par récurrence quand, pour définir la valeur de la fonction en un entier donné, on utilise les valeurs de cette même fonction pour des entiers strictement inférieurs. À la différence d'une définition usuelle, qui peut être vue comme une simple abréviation, une définition par récurrence utilise le nom de l'objet défini (la fonction en l'occurrence) dans la définition même. Le principe de définition par récurrence assure l'existence et l'unicité de la fonction ainsi définie. Il est distinct de celui du raisonnement par récurrence, dont il n'est pas conséquence sans les autres axiomes de Peano. Richard Dedekind l'identifie et en donne une démonstration en 1888 dans son ouvrage Was sind und was sollen die Zahlen ? (« Que sont et à quoi servent les nombres ? »), qui utilise une axiomatisation des entiers dans un cadre ensembliste. Les définitions par récurrence se généralisent aux ordinaux et ensembles bien ordonnés, et plus généralement aux relations bien fondées. On parle également de définition par induction (sur les entiers positifs, sur tel bon ordre, sur les ordinaux, etc.). Elle se généralise aussi aux objets structurés (par exemple les arbres binaires ou les termes), on parle alors de récurrence structurelle ou d'induction structurelle et elle est particulièrement utilisée en informatique pour définir des fonctions (par exemple la taille). (fr)
- En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné. Une fonction est définie par récurrence quand, pour définir la valeur de la fonction en un entier donné, on utilise les valeurs de cette même fonction pour des entiers strictement inférieurs. À la différence d'une définition usuelle, qui peut être vue comme une simple abréviation, une définition par récurrence utilise le nom de l'objet défini (la fonction en l'occurrence) dans la définition même. Le principe de définition par récurrence assure l'existence et l'unicité de la fonction ainsi définie. Il est distinct de celui du raisonnement par récurrence, dont il n'est pas conséquence sans les autres axiomes de Peano. Richard Dedekind l'identifie et en donne une démonstration en 1888 dans son ouvrage Was sind und was sollen die Zahlen ? (« Que sont et à quoi servent les nombres ? »), qui utilise une axiomatisation des entiers dans un cadre ensembliste. Les définitions par récurrence se généralisent aux ordinaux et ensembles bien ordonnés, et plus généralement aux relations bien fondées. On parle également de définition par induction (sur les entiers positifs, sur tel bon ordre, sur les ordinaux, etc.). Elle se généralise aussi aux objets structurés (par exemple les arbres binaires ou les termes), on parle alors de récurrence structurelle ou d'induction structurelle et elle est particulièrement utilisée en informatique pour définir des fonctions (par exemple la taille). (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5839 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1888 (xsd:integer)
- 2006 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
| |
| prop-fr:id
|
- Moschovakis 2006 (fr)
- Moschovakis 2006 (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:lienAuteur
|
- Richard Dedekind (fr)
- Richard Dedekind (fr)
|
| prop-fr:lieu
|
- Brunswick (fr)
- Brunswick (fr)
|
| prop-fr:nom
| |
| prop-fr:numéroD'édition
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Richard (fr)
- Richard (fr)
|
| prop-fr:titre
|
- Les Nombres. Que sont-ils et à quoi servent-ils ? (fr)
- Notes on Set Theory (fr)
- Les Nombres. Que sont-ils et à quoi servent-ils ? (fr)
- Notes on Set Theory (fr)
|
| prop-fr:titreOriginal
|
- Was sind und was sollen die Zahlen? (fr)
- Was sind und was sollen die Zahlen? (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Vieweg (fr)
- Springer (fr)
- Vieweg (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné. Une fonction est définie par récurrence quand, pour définir la valeur de la fonction en un entier donné, on utilise les valeurs de cette même fonction pour des entiers strictement inférieurs. À la différence d'une définition usuelle, qui peut être vue comme une simple abréviation, une définition par récurrence utilise le nom de l'objet défini (la fonction en l'occurrence) dans la définition même. (fr)
- En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné. Une fonction est définie par récurrence quand, pour définir la valeur de la fonction en un entier donné, on utilise les valeurs de cette même fonction pour des entiers strictement inférieurs. À la différence d'une définition usuelle, qui peut être vue comme une simple abréviation, une définition par récurrence utilise le nom de l'objet défini (la fonction en l'occurrence) dans la définition même. (fr)
|
| rdfs:label
|
- Definición recursiva (es)
- Definizione ricorsiva (it)
- Définition par récurrence (fr)
- تعريف الشيء بنفسه (ar)
- 递归定义 (zh)
- Definición recursiva (es)
- Definizione ricorsiva (it)
- Définition par récurrence (fr)
- تعريف الشيء بنفسه (ar)
- 递归定义 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
