Arithmétique de Presburger : Différence entre versions

Version du 14 avril 2015 à 20:14

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.

@@ 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]])
+[[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.