Arithmétique de Presburger : Différence entre versions
De AgregmathKL
| Ligne 12 : | Ligne 12 : | ||
#* 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 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. | #* bien comprendre l'automate de <math> x_i+x_j=x_l </math> et donner un exemple est pédagogiquement bon. | ||
| + | |||
| + | |||
| + | [[Category : Développement de la leçon 909]] | ||
Version du 14 avril 2015 à 21:15
- 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
