查询词典 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.

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

Increasing along with the growth of grade namely along with the growth of the accepted logic knowledge, the middle school students' logic in daily lives more inclines to mathematical logic.

随着年级的增长，相应的接受逻辑知识增多，中学生日常推理更加倾向于使用数学推理。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。