Thm de Presburger
De AgregmathKL
Fichier TeX de la démo du Théorème de Presburger
Fichier Pdf de la démo du Théorème de Presburger
- Référence : [Carton]
- Remarque :
- bien comprendre les mots de
et la bijection entre k-uplet d'entier et ces mots de - bien comprendre l'automate de
et donner un exemple est pédagogiquement bon.
- bien comprendre les mots de
