查询词典 logic

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.

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

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。