高阶谓词的英文

• higher order predicate

• "高阶"英文翻译    high order
• "谓词"英文翻译    predicate
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "一阶谓词" 英文翻译 :    first-order predicate; predicate of first order
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "三阶谓词逻辑" 英文翻译 :    third order predicate logic
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "一阶谓词逻辑" 英文翻译 :    first order predicate logic; first-order logic; first-order predicate logic
• "一阶谓词演算" 英文翻译 :    first-order logic; first-order predicate calculus; fopc
• "全称量词 (一阶谓词演算)" 英文翻译 :    universal quantifier in fopc
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "高阶" 英文翻译 :    high [higher] order◇高阶导数 higher derivative; higher order derivative; derivative of higher order; 高阶方程 equation of higher order; 高阶聚焦 high-order focusing; 高阶微分 higher differentiation; differential of higher order; 高阶微分方程 higher differential equation; differential equation of higher order; 高阶微商 higher derivative; higher order derivative; derivative of higher order
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "真谓词" 英文翻译 :    truth-predicate
• "高阶；高阶的" 英文翻译 :    higher-order
• "高阶波" 英文翻译 :    higher order wave
• "高阶级" 英文翻译 :    high rank
• "高阶链" 英文翻译 :    high-order chain
• "高阶模" 英文翻译 :    high-order mode; higher modes; higher-order mode
• "高阶位" 英文翻译 :    high-order position