Chinese translation for "二阶谓词演算"

second-order predicate calculus

Related Translations:

谓词:  [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus

谓词交:  predicate intersection model

谓词符号:  predicate symbol

输入谓词:  input predicate

程序谓词:  program predicate

篇章谓词:  discourse predicate

模拟谓词:  simulated predicate

输出谓词:  outer predicate

数谓词:  numerical predicatenumerical readout

假谓词:  false predicate

Similar Words：

"二阶微分环节" Chinese translation, "二阶微量项" Chinese translation, "二阶微量项 次级效应项" Chinese translation, "二阶位移函数" Chinese translation, "二阶位址" Chinese translation, "二阶无差系统" Chinese translation, "二阶系统" Chinese translation, "二阶系统的过渡函数" Chinese translation, "二阶线性微分方程" Chinese translation, "二阶线性系统" Chinese translation