Wikipédia en français - L'encyclopé...
Téléchargez ce dictionnaire
Ensemble récursif
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.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.