Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
ensemble récursif
Wikipédia en français - L'encyclopédie libre
Download this dictionary
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é
.