computable predicate

computable... ... computable number 可计算数 computable predicate 可算谓词 partially computable 部分可计算的 ...

程式设计语言"_馆档网 ... "可算函数"," computable function" "可算述词"," computable predicate" "计算"," computation" ...