homonymes, voir Récurrence. En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à...
44 KB (6,166 words) - 12:11, 26 April 2023
les autres projets Wikimedia : récurrence, sur le Wiktionnaire récurrent, sur le Wiktionnaire Couramment, la récurrence est le caractère répétitif d'un...
846 bytes (96 words) - 13:04, 3 June 2022
Induction (logique) (category Raisonnement mathématique)
d’induction (faux-ami) désigne la récurrence, aussi bien dans le raisonnement par récurrence que dans les définitions par récurrence. Le terme est souvent employé...
23 KB (3,056 words) - 04:15, 20 April 2024
Induction (redirect from Preuve par induction)
une autre façon de désigner la récurrence : aussi bien le raisonnement par récurrence que les définitions par récurrence. Le terme est souvent employé...
4 KB (461 words) - 07:34, 3 April 2023
définition par récurrence sur la suite des valeurs et récurrence ordinaire reflète la différence entre le raisonnement par récurrence forte et celui par récurrence...
6 KB (808 words) - 10:00, 25 February 2023
concept présenté ici, mais aussi le concept de raisonnement par récurrence, appelé aussi raisonnement par induction ou parfois simplement induction. On...
22 KB (3,522 words) - 13:57, 21 February 2024
principe de récurrence qui sont présentées sur les seuls entiers dans l'article « Raisonnement par récurrence ». Le principe de récurrence se généralise...
13 KB (1,708 words) - 16:58, 30 March 2022
Fermat est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers...
13 KB (1,688 words) - 20:20, 29 April 2024
Paradoxe sorite (section Commentaire par Hegel)
accumulant un grain après l'autre. Ce paradoxe met en jeu un raisonnement par récurrence tout en exploitant dans ses prédicats, le flou sémantique qui...
10 KB (1,535 words) - 11:38, 28 October 2023
binôme de Newton et un raisonnement par récurrence sur l'entier a, supposé positif sans perte de généralité. Leur raisonnement (reformulé ici dans le...
23 KB (2,694 words) - 21:25, 15 April 2024
Suite récurrente (section Définition par récurrence)
avec des suites de mots. Article détaillé : Définition par récurrence. La relation de récurrence est souvent le support de la définition d’une suite récurrente...
8 KB (918 words) - 19:50, 3 March 2023
transfinie L'opération est définie par récurrence sur l'un des deux opérandes. Les deux premiers cas de la récurrence (cas de base et successeur) sont les...
34 KB (5,115 words) - 19:26, 16 May 2023
Pascal met en place dans son traité une version aboutie du raisonnement par récurrence. Il y démontre le lien entre le triangle et la formule du binôme...
25 KB (3,212 words) - 10:41, 18 March 2024
Intégrale de Riemann (section Intégration par parties)
\mathrm {d} t+\int _{c}^{b}f(t)\,\mathrm {d} t} . Un simple raisonnement par récurrence implique que la relation de Chasles peut être répétée plusieurs...
34 KB (5,699 words) - 19:26, 12 November 2023
formule de récurrence des Sm(n) ci-dessus, par récurrence sur j, que le coefficient ck,j de nj+1–k dans Sj(n) est le produit de j!/(j + 1 – k)! par Bk/k! non...
39 KB (6,536 words) - 09:17, 3 May 2024
puis pour la preuve principale), au prix d'un raisonnement par récurrence. Débarrassée de cette récurrence en fait inutile, sa preuve consiste essentiellement...
16 KB (2,292 words) - 08:20, 19 December 2023
à W {\displaystyle W} . L'axiome se traduit classiquement par le raisonnement par récurrence, « si P(0) et P(n)⇒P(n+1) alors ∀n, P(n) » — Couplé avec l'axiome...
33 KB (4,537 words) - 08:37, 26 January 2024
Entier naturel (section Construction par les cardinaux)
admet un plus petit élément. Cette propriété est à la base du raisonnement par récurrence. L'ensemble est également muni de la relation de divisibilité...
27 KB (3,217 words) - 11:56, 18 April 2024
cela un raisonnement par récurrence : supposons que l'on puisse séparer l'ensemble S en deux sous-ensembles de même cardinal n/2, séparés par une droite...
22 KB (2,822 words) - 14:18, 20 October 2023
pour le premier (la récurrence n'est essentiellement pas utile). Pour le second, les preuves usuelles utilisent un minimum de récurrence. Il est remarquable...
77 KB (10,563 words) - 17:59, 23 March 2024
tard. Le fait le plus marquant de ce traité est l'émergence du raisonnement par récurrence, que Pascal énonce en un texte d'une vingtaine de lignes et qui...
3 KB (324 words) - 04:52, 3 July 2023
boucles et prouver qu'un programme est correct en utilisant un raisonnement par récurrence. En pratique, l'invariant de boucle est souvent la propriété...
6 KB (775 words) - 09:42, 6 September 2023
infinitésimal et il y utilise pour la première fois le principe du raisonnement par récurrence, et invente une nouvelle méthode de démonstration, l’induction...
161 KB (19,511 words) - 06:17, 7 May 2024
^{t}X_{0}+c\sum _{i=0}^{t-1}\varphi ^{i}\,} Démonstration par raisonnement par récurrence P(0) (initialisation): E [ X 0 ] = X 0 {\displaystyle \operatorname...
22 KB (4,836 words) - 21:17, 22 November 2023
{\displaystyle \ (u_{n})_{\,n\,\geq \,n_{0}}} où la raison est notée r, la relation de récurrence est la suivante : ∀ n ≥ n 0 , u n + 1 = u n + r {\displaystyle...
2 KB (289 words) - 15:06, 18 November 2020
Induction structurelle (redirect from Récurrence structurelle)
de Backus-Naur Type récursif Définition par récurrence Ordre bien fondé Raisonnement par récurrence Récurrence transfinie Terme (logique) Portail de la...
9 KB (1,218 words) - 21:30, 23 February 2024
\ldots } La définition peut s'écrire sous la forme d'une relation de récurrence, c'est-à-dire que pour chaque entier naturel n : u n + 1 = q × u n ;...
16 KB (1,966 words) - 17:34, 2 May 2024
alternative. Une troisième interprétation consiste à montrer que le raisonnement par récurrence de l'élève est faux car le contexte change en fonction du jour...
14 KB (1,863 words) - 17:55, 3 February 2024
des racines carrés, et présente une des premières formes de raisonnement par récurrence. Il établit également la formule de somme des carrés des premiers...
2 KB (315 words) - 12:17, 23 February 2024
diagonale,. Démonstration Raisonnons par récurrence sur l'ordre n de la matrice normale A (triangulaire supérieure, par exemple). Si n = 1, il n'y a rien...
14 KB (1,930 words) - 20:00, 6 June 2023
}\varphi (x)=0} ; la densité φ est infiniment dérivable ; un raisonnement par récurrence permet d'obtenir la formule : φ ( n ) ( x ) = ( − 1 ) n H n (...
120 KB (16,411 words) - 15:37, 10 April 2024