查询词典 Boolean logic

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.

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

On the one hand ,contemporary scholars carry on the method of morden scholars using the occidental traditional logic to research six chapters in Mo Zi ,on the other hand ,they rethink the research of logic of Moism since morden times and put forward to the method and direction of future research of the logic of Moism .

当代学者一方面继承了近代学者以西方传统逻辑为工具研究墨辩的方法；另一方面对近代以来的墨辩逻辑研究进行反思，并提出未来墨辩逻辑研究的方法和方向。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。