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.
应用变分学中规范的拉氏乘子法和代入法,导出了非完整系统的各类真实轨道方程,客观上统一了Vakonomic模型和Appel-Chetaev模型理论和实例均表明,非完整系统动力学的这种理论框架也适用于完整系统动力学
The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。
本网站所收集内容来自网友分享仅供参考,实际请以各学校实际公布信息为主!内容侵权及错误投诉:1553292129@qq.com
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号