Thm de Presburger
De AgregmathKL
Révision de 21 octobre 2011 à 18:20 par Ibann100 (discuter | contributions)
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
