Arithmétique de Presburger : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(Page créée avec « * Arithmétique de Presburger (24px ; 24px) »)
 
Ligne 1 : Ligne 1 :
  
 
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Presburger.pdf}} |24px]])
 
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Presburger.pdf}} |24px]])
 +
 +
 +
[[Média:Presburger.tex | Fichier TeX de la démo du Théorème de Presburger]]
 +
 +
[[Média:Presburger.pdf | Fichier Pdf de la démo du Théorème de Presburger]]
 +
 +
# Référence : [Carton]
 +
 +
# Remarque :
 +
#* bien comprendre les mots de <math> \Sigma_k^* </math> et la bijection entre k-uplet d'entier et ces mots de <math> \Sigma_k^* </math>
 +
#* bien comprendre l'automate de <math> x_i+x_j=x_l </math> et donner un exemple est pédagogiquement bon.

Version du 14 avril 2015 à 20:14

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