查询词典 Boolean logic

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

The theory of ∑-α-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metrology of logic introduced by professor G.J.Wang, and the theory of ∑Γ－fuzzy truth degrees of formula relative to the finite theory in propositional logic system n was introduced.

将模糊命题逻辑系统中的∑-理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑Γ－模糊真度理论，讨论了其中的主要性质。

To Bao Yarning , however , the logic of consumerism not only becomes the logic of our social space operation , but also the cultural logic dominating the daily life .

包亚明认为，消费主义的逻辑不仅成为了社会运用空间的逻辑，而且也成为了主导日常生活的文化逻辑；在全球城市的风景背后，精英阶层的消费文化&诉求&已经被合理化，自然化为与世界接轨的先决条件。

Then deontic logic became a theory of dynamic logic based on action logic.

于是道义逻辑便是一种以行动逻辑为基础的动态逻辑。

This deontic logic should be logic about normal propositions rather than logic ab...

但是 ，在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑，而不是规范的逻辑，在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。

Deontic Logic ; Logic of Willing ; Mally's Deontic System ; Standard Deontic Logic

道义逻辑；马利的道义系统；意愿的逻辑；道义逻辑标准系统

When appling paraconsistent logic to alethic modal logic,we get a deontic logic system which avoids the ...

当将弗协调逻辑运用于真值模态逻辑时，可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统，于是我们可得出结论：道义逻辑可归约为弗协调真值模态逻辑

Firstly it introduces relevant technical developments and trends, the task background and significance of the study, then analyzes hardware circuit of using image sensor as images collected, and utilizes the SAA7113 chip to deal with video image beforehand, SAA7113 lets the output of standard digital video signals to storage in FIFO memory, and decodes clock signals, Highlighted microprocessor control external circuit design of false coin and counting, and DSP control external circuit design, such as memory expand ect;Finally analyses CPLD as logic controller to control the logic and scheduling of some part ,and gives the undee emluator of some logic circuit.

文章首先阐述人民币智能分捡器相关技术的发展状况、发展趋势以及课题背景与研究意义；然后设计了利用图像传感器采集人民币图像输出模拟视频信号的硬件电路，以及利用视频解码芯片(SAA7113)对模拟视频图像进行预处理，SAA7113输出的标准数字视频信号存入FIFO存储器，同时还解码输出场、行同步信号、像素时钟信号送入CPLD等部分电路；重点设计了单片机控制验钞、点钞等外围电路，以及DSP控制的外围电路，如存储器的扩展等部分；最后完成CPLD对部分器件的逻辑和时序控制设计，并对逻辑电路的功能进行仿真，仿真结果令人满意。

Task logic can be used to describe the types of activities; process logic is defined according to the relationship between activities; beginning/ending logic provides trigging mechanism for activities.

组织模型和资源模型采用基于对象关系的模型表示。

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

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'.

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