可计算函数 [数] computable function ; [数] calculable function ; countable function

能行可计算函数 effectively computable function ; [数] effectively calculable function

图灵机可计算函数 Turing Computable Function

可计算数 computable number ; [计] calculable number

可计算函数逻辑 Logic of Computable Functions

预测可计算性函数 predictably computable function

五元组杜林可计算函数 quintuple Turing computable function

不可计算的函数 uncomputable function

五元组图灵可计算函数 [数] quintuple Turing computable function