Pages qui pointent vers « Arithmétique de Presburger »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Arithmétique de Presburger :
Affichage de 13 éléments.
- Théorèmes d'incomplétude de Gödel (← liens)
- Problème de la décision (← liens)
- Décidabilité (← liens)
- Élimination des quantificateurs (← liens)
- Fonction exponentielle double (← liens)
- Théorie complète (← liens)
- Analyse de la complexité des algorithmes (← liens)
- Heuristique (mathématiques) (← liens)
- Complexité générique des algorithmes (← liens)
- Logique monadique du second ordre (← liens)
- Arithmétique du second ordre (← liens)
- Théorème de Cobham (← liens)
- Méthode d'automorphisme (← liens)