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 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.