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

部分可算函数 [数] partially computable function

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

图灵机可计算函数 Turing Computable Function

可计算函数逻辑 Logic of Computable Functions

预测可计算性函数 predictably computable function

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

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