introduction
基本释义:
代入
网络释义
1)introduction,代入
2)substitution method,代入法
3)Complete subsitituion method,全代入法
4)the rule of substitution,代入规则
5)abduction reasoning,词项代入
6)algebraic closure,代入闭包
用法和例句
In the paper the author has used “figure/ ground” theory in cognitive linguistics to explain object-introduction of transitive verbs and objects afterintransitive ones.
文章运用认知语言学的“图形 /背景”理论来解释及物动词的宾语代入现象和不及物动词带宾语的现象。
Various kinds of dynamical equations of analytical dynamics of nonholonomic systems are deduced by using standard Lagrangian undetermined multiplier method and substitution method of calculus of variations.
应用变分学中规范的拉氏乘子法和代入法，导出了非完整系统的各类真实轨道方程，客观上统一了Ｖａｋｏｎｏｍｉｃ模型和Ａｐｐｅｌ－Ｃｈｅｔａｅｖ模型理论和实例均表明，非完整系统动力学的这种理论框架也适用于完整系统动力学
The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。
-
Bayesian risk
精品项目网为您提供贝叶斯风险Bayesian risk是什么意思,Bayesian risk翻译,Bayesian risk例句,Bayesian risk用法等有关,Bayesian risk单词知识大全供您查询使用！...
-
hypercyclic group
精品项目网为您提供超循环群hypercyclic group是什么意思,hypercyclic group翻译,hypercyclic group例句,hypercyclic group用法等有关,hypercyclic group单词知识大全供您查询使用！...
