English translation for "一阶纯谓词演算"

pure predicate calculus of first order

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