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,164 words) - 19:09, 30 October 2024
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)
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,045 words) - 06:11, 15 January 2025
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) - 15:39, 29 October 2024
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,529 words) - 14:04, 16 November 2024
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) - 13:41, 3 November 2024
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
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...
14 KB (1,711 words) - 10:23, 24 July 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 (943 words) - 19:50, 3 March 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,736 words) - 15:08, 27 October 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é...
28 KB (3,317 words) - 08:38, 17 January 2025
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,118 words) - 18:58, 17 September 2024
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,155 words) - 14:01, 28 December 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
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) - 16:16, 15 August 2024
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) - 06:22, 21 November 2024
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:31, 7 September 2024
tels que définis par von Neumann, qui est bien infini. Sa définition fournit une version ensembliste du raisonnement par récurrence. Schéma d'axiomes...
32 KB (4,429 words) - 19:39, 11 December 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
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...
162 KB (19,778 words) - 15:58, 5 January 2025
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) - 16:13, 8 June 2024
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,685 words) - 19:20, 15 September 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...
23 KB (2,890 words) - 07:50, 21 November 2024
}\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 (...
119 KB (16,411 words) - 16:16, 16 December 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
{\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) - 16:04, 31 August 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) - 11:18, 30 July 2024
exprimable grâce à ces nouvelles quantifications. Le raisonnement par récurrence s'exprime par un seul axiome. Elle permet en particulier de traiter...
9 KB (1,323 words) - 16:10, 21 December 2024
d'annihilation de quanta, ou encore opérateurs d'échelle. Ensuite, un raisonnement par récurrence permet de montrer le caractère quantifié des niveaux d'énergie...
103 KB (14,764 words) - 08:59, 29 December 2024
sont la définition par récurrence (on définit ici l'addition par récurrence sur le second argument), et le raisonnement par récurrence, qui va permettre...
7 KB (866 words) - 21:32, 1 October 2021