[article]
| Titre : |
Les invariants comme outils de preuve |
| Type de document : |
texte imprimé |
| Auteurs : |
Hervé Lehning, Auteur |
| Editeur : |
Paris : Pole, 2012 |
| Article en page(s) : |
p.6-8 |
| Langues : |
Français (fre) |
in Tangente. hors-série (Paris) > 047 (10/2012)
| Catégories : |
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 [texte imprimé] / Hervé Lehning, Auteur . - Paris : Pole, 2012 . - p.6-8. Langues : Français ( fre) in Tangente. hors-série (Paris) > 047 (10/2012)
| Catégories : |
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 |
|
Les invariants comme outils de preuve / Paris : Pole (2012) in Tangente. hors-série (Paris), 047 (10/2012)