Arithmétique de Presburger
De AgregmathKL
Révision de 14 avril 2015 à 20:15 par Mathias Millet (discuter | contributions)
- Arithmétique de Presburger (
; 
)
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
