[article]
| Titre : |
Les invariants comme outils de preuve |
| Type de document : |
texte imprimé |
| Auteurs : |
Hervé Lehning, Auteur |
| Editeur : |
Archimède, 2012 |
| Article : |
p.6-8 |
in Tangente. Hors-série (Paris) > 047 (10/2012)
| Descripteurs : |
arithmétique
|
| Résumé : |
Quelques exemples d'utilisation des invariants : la preuve par neuf, transformations arithmétiques, PGCD et théorème de Bachet, jeu de Nim et vecteurs. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
Les invariants comme outils de preuve
de Hervé Lehning
In Tangente. Hors-série (Paris), 047 (10/2012), p.6-8
Quelques exemples d'utilisation des invariants : la preuve par neuf, transformations arithmétiques, PGCD et théorème de Bachet, jeu de Nim et vecteurs.
|
| |
Les invariants comme outils de preuve / Archimède (2012) in Tangente. Hors-série (Paris), 047 (10/2012)