Décidabilité de l'arithmétique de Presburger
La théorie du premier ordre des entiers munis de l'addition est décidable.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 27 | Décidabilité et indécidabilité. Exemples.2022 |
| 5 | 29 | Langages rationnels et automates finis. Exemples et applications2022 |
| 4 | 924 | Théories et modèles en logique du premier ordre. Exemples.2021 |
Utilisateur : Devevey
La récurrence est mal posée dans le Carton, il faut l'expliciter un peu mieux.
Les définitions sont mieux posées dans le DNR.
Références :
Langages formels, Calculabilité et Complexité - Carton
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Utilisateur : Gayral
Références :
Langages formels, Calculabilité et Complexité - Carton
Utilisateur : Meven
Références :
Langages formels, Calculabilité et Complexité - Carton
Utilisateur : Timothée
Références :