查询词典 reasoning

On one hand,as a typical content of mathematical subject,reasoning and proof embodies the mathematical rational spirit;on the other hand,to cultivate students' thinking ability as the main function,the mathematics without reasoning and proof.

一方面，推理与证明作为数学学科的典型内容，体现了数学的理性精神；另一方面，数学以培养学生的思维能力为主要功能，它离不开推理与证明。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

Therefore it is not rational to regard Trairūpya as rule. It is not reasonable treated Trairūpya as reasoning, because Trairūpya is an objective truth of self-evident, but reasoning being a subjective thought form from known to unknown.

另外，因三相的不可缺一也不能归咎于因明的特殊风格或者对敌者的心理状况不同，因为同品与异品并不是一对矛盾概念，从而不能由第三相推出第二相，况且这二相的性质、作用在因明体系中是不同的、不能互相取代的。

For the fuzzy issue of Knowledge Base form, the reasoner parses it and then does fuzzy reasoning by the rules, gives the corresponding results. Finally, an experiment of KB reasoning is applied to prove the capacity of this reasoner.

对以知识基形式存在的模糊问题，解析后利用规则进行模糊推理，给出相应的结果，最后还通过一个知识基推理的实验，对本推理机的能力进行了必要的检验。

It even enables us to discuss the limits of our reasoning in a sound reasoning and thinking.

它甚至使我们可以在一定原则下来探讨推理的局限性。

Sound reasoning and thinking. It even enables us to discuss the limits of our reasoning in a+ principled way.

以前的理论比如谓词逻辑学提供了一种合理的推理和思考的工具。

—the end point reached by a line of reasoning, valid if the reasoning is sound; the

结论—逻辑链的终点，如果推理的过程是健全的结论将会因此有效；一种作为结果的陈述。

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

A kind of description logic tableaux based satisfiability reasoning algorithm for FALNUI is presented,and the correctness of the satisfiability reasoning algorithm is proved.

FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础。

Based on the uncertainness and non-routine characteristics of emergencies, a kind of scale decisive model in airport emergency rescue was put forward, which mainly relied on the case-based reasoning technology as well as fuzzy reasoning technology.

针对民航机场紧急事件非例行性、不确定性的特点，提出了以案例推理为技术主线，结合模糊推理等方法的机场应急救援规模决策模型。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。