查询词典 statement logic

Through exploring the internal logic interconnection among various key elements embedded in Berlin\'s body of thought, it summarizes the threshold logic underlining the following study of Berlin, i.e., the untiring efforts to defend the validity of liberalism under the superficial historic relevance. The basic structure of study based on this threshold logic is then outlined.

本文通过探析伯林思想体系中的各大要素之间的内在逻辑联系，论证了研究伯林所要围绕的逻辑主线，即伯林始终致力于捍卫自由主义原则的有效性，进而阐释了本文研究的基本理路。

Through exploring the internal logic interconnection among various key elements embedded in Berlins body of thought, it summarizes the threshold logic underlining the following study of Berlin, i.e., the untiring efforts to defend the validity of liberalism under the superficial historic relevance. The basic structure of study based on this threshold logic is then outlined.

本文通过探析伯林思想体系中的各大要素之间的内在逻辑联系，论证了研究伯林所要围绕的逻辑主线，即伯林始终致力于捍卫自由主义原则的有效性，进而阐释了本文研究的基本理路。

In the base of regularity of fuzzy logic s, combining triangular norms and logic s, it has lead proposition universal logic .

在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。

The system uses three systems structures, and developed by JSP-JavaBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used JavaBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+JavaBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用JavaBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

The system uses three systems structures, and developed by JSP-J**aBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used J**aBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+J**aBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用J**aBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

Important: In a MVC world we only want to put rendering logic in our View's code-behind class (and not any application or data logic). Notice above how the only logic we have is to assign the strongly typed ViewData collection of Category objects to the ListView control.

重要：在 MVC 中我们只希望在视图的后台代码中放置显示逻辑（不包括任何其他的业务逻辑），注意上面的大妈中我们唯一的一个逻辑操作时将强类型的目录列表 ViewData 赋值给 ListView 控件。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

A preliminary study is made on the logic inference and formal logic of Yuanjics,pointing out the importance of deductive logic in the disciplinal construction and development of Yuanjics.

对元极学逻辑推理与形式逻辑进行初步的研究。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。