Arithmétique 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