fonction calculable \fɔ̃k.sjɔ̃ kal.ky.labl\ (locution nominale) : Fonction dont la valeur, pour chaque argument de son domaine de définition, peut être obtenue au moyen d’un algorithme, c’est-à-dire d’une procédure mécanique effective et finie, par exemple une machine de Turing qui s’arrête sur toute entrée. Parmi ses synonymes : fonction récursive.
Synonymes de fonction calculable
fonction générale récursive· fonction μ-récursive totale· fonction récursive· fonction récursive totale
Antonymes de fonction calculable
fonction indécidable· fonction non calculable
Définitions
Locution nominale \fɔ̃k.sjɔ̃ kal.ky.labl\
- Fonction dont la valeur, pour chaque argument de son domaine de définition, peut être obtenue au moyen d’un algorithme, c’est-à-dire d’une procédure mécanique effective et finie, par exemple une machine de Turing qui s’arrête sur toute entrée.Une réduction de A vers B est une fonction calculable f:D→D' qquad x∈X⟺f(x)∈Y
Étymologie
Locution composée de fonction et de calculable.
Mots voisins
foncine· foncteur· fonctif· fonction· fonction affine· fonction anonyme· fonction caractéristique· fonction convexe· fonction d’onde orbitale· fonction dérivée· fonction distance signée· fonction économique
Sources
- « fonction calculable », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.