查询词典 deduction method

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

Coinheritance;"return of deduction;"comparative analysis; legislation structure

共同继承；财产归扣；立法建构

This chaptergives the complete deduction process and the expression of each compensation factor.The whole algorithm proposed only includes FFT and complex multiplication, withinterpolation free, and hence it is prone to implement in project.

本章给出了算法的完整推导过程和各补偿因子的表达式，整个算法只包含傅立叶变换和复乘操作，不涉及插值，易于工程实现。7。

Then in combination with its concavo-convex function,a simple and direct proof can also be found by using theorem deduction.

通过给出关于凹凸函数的一个性质定理及其推论，对一些特定类型的三角不等式通过构造辅助函数，求出函数的二阶导数；再结合其凹凸性利用定理的推论给予简捷的证明。

Chapter three emphasizes onintroducing the concept n characteristics and basic principle of ANNs, especially presents the algorithm deduction ., shortage and improved methods of backpropagation neural network which is used in this text;in addition, wide-ranging applications of ANNs in civil engineering are generalized.

第三章主要介绍了人工神经网络的概念、特点和基本原理，特别指出了本文使用的BP网络的算法推导、不足和改进方法；并总结了人工神经网络在土木工程中的应用。

Now they are waiting for the CONI Court of Arbitration verdicts in the hope of seeing their17-point Calciopoli deduction reduced.

现在，他们正在等体育仲裁法庭的判决，希望因电话门事件被扣17个积分有所减少。

The 3rd Plenary Session of the 16th Central Committee of CCP makes a decision such that "value-added tax is to be transformed from production-oriented to consumption-oriented; and equipment investment is to be allowed as an item for value-added tax deduction."

党的十六届三中全会作出了"增值税由生产型改为消费型，将设备投资纳入增值税抵扣范围"的决定。

In the field of logic such a process is known as induction, in contradistinction to the deduction process that leads to f=ma.

在逻辑学领域中，这样的过程统称为归纳，它与导出f=ma的推演过程截然不同。

The thesis resorts to the methods of deduction and counterevidence to demonstrate the defects of textualist and contextualist stylistics both theoretically and practically. Then it puts forward an analytical model, which incorporates them.

文章首先用演绎和反证的方法，从理论和实践两方面指出了文本主义文体学和语境主义文体学的缺点，然后提出了一种有机结合这二者的综合分析模式，并用该模式分析了安德鲁·马韦尔的《致羞涩的情人》，威廉·布莱克的《伦敦》和乔治·欧维尔的《绞刑》等三篇作品。

The thesis resorts to the methods of deduction and counterevidence to demonstrate the defects of textualist and contextualist stylistics both theoretically and practically. Then it puts forward an analytical model, which incorporates them. Finally, by applying this model to the analysis of Andrew Marvell's To His Coy Mistress, William Blake's London and George Owell's A Hanging, this analytical model is proved to be able to avoid many drawbacks common with the previous stylistic studies.

文章首先用演绎和反证的方法，从理论和实践两方面指出了文本主义文体学和语境主义文体学的缺点，然后提出了一种有机结合这二者的综合分析模式，并用该模式分析了安德鲁·马韦尔的《致羞涩的情人》，威廉·布莱克的《伦敦》和乔治·欧维尔的《绞刑》等三篇作品。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。