代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x，必须用 t 代替 x 在公式中所有的自由出现。
代入 [dài rù]
网络释义专业释义
短语
代入法 substitution method ; substitution
代入消元法 [数] elimination by substitution
代入值 call by value
代入名 call by name
代入规则 [数] rule of substitution ; substitution rule
逐次代入法 successive iteration method ; successive substitution method
代入原理 [数] principle of substitution ; rule of substitution
直接代入法 direct substitution ; direct substitution method
代数代入 Algebraic Substitution
代入成为一方 substituted as a party
-
substitution - 引用次数：6 参考来源 - 知道一个行动的逻辑(英文)substituting - 引用次数：2 参考来源 - 非线性振动系统的同步与控制substitute
-
substitution
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
让我们把这些数字代入进去。
-
所以我现在请大家把自己代入进去。
So I'm going to be asking you to put yourself in the first person.
-
让我们把它的坐标代入平面方程。
-
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
- 来自原声例句