English 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：

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