代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x，必须用 t 代替 x 在公式中所有的自由出现。
代入 [dài rù]
网络释义专业释义
短语
代入法 substitution method ; substitution ; substitutional solid solution
代入消元法 [数] elimination by substitution
代入值 call by value
代入名 call by name
代入规则 [数] rule of substitution ; substitution rule
同时代入 simultaneous substitution
逐次代入法 successive iteration method ; successive substitution method
代入原理 [数] principle of substitution ; rule of substitution
直接代入法 direct substitution ; direct substitution method
代数代入 Algebraic Substitution ; polynomials
-
substitution - 引用次数：6 参考来源 - 知道一个行动的逻辑(英文)substituting - 引用次数：2 参考来源 - 非线性振动系统的同步与控制substitute
-
substitution
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
我们把这个代入然后写出反应速率。
-
让我们把它的坐标代入平面方程。
-
当然，不要将这些建议代入极端情况。
-
So now, I'm gonna plug in 8 here and now finally, 24 that's 16 so that's plus 8, so that's 24.
这儿用8代入，就是16加8，等于。
-
And in terms of equations that we use, it's sometimes easier to plug in the fact, since momentum is equal to mass times velocity.
在我们使用方程这方面，事实上有时是很容易代入的，因为动量等于质量乘以速度。
-
The discount rate that is shown is the number that you plug into a formula to get the price.
这里显示的折扣率,需要被代入一个公式来获得价格
应用推荐
$firstVoiceSent
- 来自原声例句