查询词典 thinking of logic

In Russell's 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.

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

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.

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

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。