可算谓词的英文

• computable predicate

• "可"英文翻译    approve
• "算"英文翻译    calculate; reckon; compute; ...
• "谓词"英文翻译    predicate
• "半可计算谓词" 英文翻译 :    semicomputable predicate
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "可算性" 英文翻译 :    computability
• "可算函数" 英文翻译 :    computable function
• "可算条件" 英文翻译 :    ready condition
• "有几分,可算是" 英文翻译 :    after a sort
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "真谓词" 英文翻译 :    truth-predicate
• "预测可算函数" 英文翻译 :    predictable computable function; predictably computable function
• "变项谓词, n变元谓词" 英文翻译 :    predicate of n variable n
• "n变元谓词" 英文翻译 :    predicate of
• "γ元谓词" 英文翻译 :    ray predicate
• "变化谓词" 英文翻译 :    change predicate
• "变项谓词" 英文翻译 :    predicate of
• "程序谓词" 英文翻译 :    program predicate
• "初始谓词" 英文翻译 :    initial predicate
• "递归谓词" 英文翻译 :    recursive predicate