En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d`entiers (ou d`éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique. Trouvé sur https://fr.wikipedia.org/wiki/Ensemble_récursif
Aucun résultat n’a été trouvé dans l’encyclopédie.
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d`entiers (ou d`éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.