démonstration par récurrence oor Engels

démonstration par récurrence

Vertalings in die woordeboek Frans - Engels

proof by induction

voorbeelde

Ce procédé est la démonstration par récurrence.
The process is proof by recurrence.

Pour finir la démonstration par récurrence, il reste à montrer que le théorème est vrai pour les triangles.
To finish the proof by mathematical induction, it remains to show that the theorem is true for triangles.

(conseil : Utiliser une démonstration par récurrence analogue à celle utilisée dans la démonstration du lemme 27.1.)
(Hint: Use an induction argument analogous to the one in the proof of Lemma 27.1.)

Ce procédé est la démonstration par récurrence.
This procedure is the demonstration by recurrence.

On peut donc remplacer T(1) par T(2) et T(3) comme cas initiaux de la démonstration par récurrence, en faisant n0 = 2.
Thus, we can replace T (1) by T (2) and T (3) as the base cases in the inductive proof, letting n 0 = 2.

Demonstration. — On procéde par recurrence sur la somme des entrées de A.
We work by induction on the sum of the entries of A.

Démonstration. — Il suffit par récurrence de montrer que c(npq) = c(pqn) + 1 si n est une lettre différente de 1.
By induction, it suffices to show that c(npl’q) = C(pqn) + 1 if n is a letter different from 1.

La démonstration se fait alors par récurrence sur n, le cas n = 1 étant la propriété déjà remarquée : Xa(A/«) = «. § 6.
The proof is then carried out by induction on n, the case n = 1 being the property already remarked: XA(A/a) = a. 0 §6.

La démonstration du théorème 2.6.1 se fait par récurrence sur n .
Theorem 2.6.1 is proved by induction on n.

Démonstration. — L’existence d’une telle décomposition se fait par récurrence sur le degré de A .
The existence of such a decomposition is shown by induction on the degree of A.

Cette démonstration est faite par récurrence. Au cours de celle-ci, nous avons utilisé les propriétés du système d'équations réduit (C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, et C12), système dont nous donnons dans les tableaux I à IV, les coefficients et les arguments.
The demonstration uses a recurrent process in which we made use of the properties of the restricted system of equations (C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11 and C12), the coefficients and arguments of which are given in Tables I to IV.

La démonstration précédente fournit un procédé de calcul explicite pour Q, par double récurrence sur n et m.
The preceding proof provides a means of explicit calculation of Q , by a double induction on n and rn.

S’il est un outil auquel les mathématiciens ont régulièrement recours, c’est la démonstration par récurrence.
If there is one tool that mathematicians regularly use, it is mathematical induction.

L’induction mathématique, c’est-à-dire la démonstration par récurrence, s’impose au contraire nécessairement, parce qu’elle n’est que l’affirmation d’une propriété de l’esprit lui-même.
Mathematical induction—i.e., proof by recurrence—is, on the contrary, necessarily imposed on us, because it is only the affirmation of a property of the mind itself.

Démonstration. — Il suffit de montrer que tout sous-module N de An est libre ; démontrons ceci par récurrence sur n.
Proof. — It suffices to show that every subbmodule N of A n is free of rank 6 n; let us prove this by induction on n.

Cette barrière est désormais levée par les deux chercheurs de l’EPFL qui ont développé une approche permettant le recours automatique à l’induction mathématique (démonstration par récurrence) dans un processus de résolution de contraintes.
The two researchers have now managed to overcome this obstacle, developing an approach that allows one to automatically use mathematical induction in a constraint resolution process.

Il y a là un fait qui nous aurait paru incompréhensible au début de cette étude, mais qui n’a plus pour nous rien de mystérieux, depuis que nous avons constaté les analogies de la démonstration par récurrence avec l’induction ordinaire.
This is a fact which might otherwise have appeared incomprehensible to us at the beginning of this study, but which has no longer anything mysterious about it, since we have ascertained the analogies between proof by recurrence and ordinary induction.

Nous donnons de ces nouvelles propriétés une démonstration directe très simple, et, en annexe, une démonstration par récurrence. On pourrait aussi utiliser le théorème du point fixe de Brouwer, comme l’a fait en 1970 David Gale pour démontrer qu’il existait toujours une chaîne de pions reliant 2 côtés opposés extrêmes, mais nous préférons utiliser le raisonnement par récurrence qui permet de mieux comprendre les causes spécifiques de ces propriétés.
We give a direct and very simple demonstration of these new properties and in annex a demonstration by recurrence.We could also use Brouwer’s fix-point theorem, as David Gale did in 1970 to demonstrate that a chain of pawns linking 2 opposite extreme sides always existed, but we prefer to use the following reasonning by recurrece which enables us to understand the specific causes of these properties.

En 1995, Greg Kuperberg a donné une démonstration relativement courte utilisant l'équation de Yang-Baxter pour le modèle à 6 sommets, qui passe par un calcul de déterminant, en résolvant des relations de récurrence dues à Vladimir Korepin.
In 1995, Greg Kuperberg gave a short proof based on the Yang-Baxter equation for the six vertex model with domain wall boundary conditions, that uses a determinant calculation due to Anatoli Izergin.

Introduction aux structures d'une démonstration mathématique: directe, par l'absurde, cas par cas, par récurrence.
Inference rules. Proof methods: direct, by contradiction, by cases, constructive and non-constructive.

Mathématiques discrètes pour laux structures d'une démonstration mathématique: directe, par l'absurde, cas par cas, par récurrence.
Introduction to proofs: direct, by contradiction, by cases, induction.

Introduction aux structures d'une démonstration mathématique: directe, par l'absurde, cas par cas, par récurrence.
Introduction to proofs: direct, by contradiction, by cases, induction.

Démonstration Les deux algorithmes du haut de la page sont équivalents, ce qui est immédiat par récurrence.
Both algorithms in the top of the page are equivalent, that is immediate by recurrence.