Arithmétique de Presburger : Différence entre versions
De AgregmathKL
| Ligne 15 : | Ligne 15 : | ||
[[Category : Développement de la leçon 909]] | [[Category : Développement de la leçon 909]] | ||
| + | [[Category : Développement de la leçon 914]] | ||
Version actuelle en date du 14 avril 2015 à 20:16
- 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
