[数]?可算谓词
... computable function 可计算函数 computable predicate 可算谓词 computable 可计算的 ...
?可算述词
... 可算函数 computable function 可算述词 computable predicate 计算 computation ...
数 半可算谓词类
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。