Arithmétique de Presburger

De AgregmathKL
Aller à : navigation, rechercher
  • Arithmétique de Presburger (Tex ; Tex)


Fichier TeX de la démo du Théorème de Presburger

Fichier Pdf de la démo du Théorème de Presburger

  1. Référence : [Carton]
  1. Remarque :
    • bien comprendre les mots de \Sigma _{k}^{*} et la bijection entre k-uplet d'entier et ces mots de \Sigma _{k}^{*}
    • bien comprendre l'automate de x_{i}+x_{j}=x_{l} et donner un exemple est pédagogiquement bon.