查询词典 calculus

By investigating Euler\'s application of variational mathematics to mechanics, especially his principle of least action,the mechanics background of his research and its influence on Lagrange are revealed.6.By the discussion of Lagrange\'s innovation and generalization of the calculus of variations,the reason why Lagrange puts forward his method of variation by comparing Euler\'s method is explained.

深入细致地分析了拉格朗日对变(来源：ABC论文2d网www.abclunwen.com)分法所做的变革和发展：(1)通过比较欧拉方法和拉格朗日方法，探讨了拉格朗日变分方法——δ-方法提出的动因；(2)详细论述了拉格朗日早期对变分法发展所作的重要贡献；(3)探究了拉格朗日δ-方法由非参数形式向参数形式转变的原因。7。

The calculus of variations; Euler's equation; the principle of least action;δ-method; the multiplier rule

基础科学，数学，古典数学变分法；欧拉方程；最小作用原理；δ-方法；乘子法则

This subject combines the basic principle of the calculus of variation and and reply and change basic theories of the function according to fracture mechanics, use mechanics, mathematics knowledge to set up corresponding mathematical model, derive out a series of mechanics and mathematics theory formula, work out procedure carry on number value calculate, to include edge crackle round stress intensity factor of component go on, ask, solve.

本课题结合变分法的基本原理并根据断裂力学和复变函数的基本理论，运用力学、数学知识建立相应的数学模型，推导出一系列的力学及数学理论公式，编制程序进行数值计算，对含边缘裂纹圆形构件的应力强度因子进行求解。

No prior preparation in probability and statistics is required, but familiarity with basic algebra and calculus is assumed.

初次学习本课程的学生不需要具备任何概率与统计学的基础，但要求学生熟悉基本的代数学和微积分知识。

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算。

By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.

本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新