|
Les invariants comme outils de preuve
de Hervé Lehning In Tangente. Hors série, 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. |
Lehning Hervé.
« Les invariants comme outils de preuve »
in Tangente. Hors série, 047 (10/2012), p.6-8.
Titre : | Les invariants comme outils de preuve (2012) |
Auteurs : | Hervé Lehning, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Tangente. Hors série (047, 10/2012) |
Article : | p.6-8 |
Langues: | Français |
Descripteurs : | |
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 |