逻辑

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指"中国古代逻辑"，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础，模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

Based on the field work among the Azande and the analysis of ancient Chinese logic and the logic of Buddhism, this paper attempts to provide factual information for the argument for the "culture-based relativity of logic" in a descriptive way. Taking the deductive method as the classical research method, this paper argues for the existence of the culture-based relativity of logic in modern culture and other cultures. The validity of this argument is based on the findings of ethnographic as well as historical studies. This paper also seeks to prove by studying the interactions between different languages and ways of life that the classical research method was also built on cultural relativity.

对阿赞得人的田野考察报告，以及中国古代逻辑和佛教逻辑的研究成果，从描述的角度为&逻辑相对于文化&这一命题提供事实根据；采用演绎论证作为元方法说明现代文化中的逻辑和其他文化的逻辑在现代文化中的译本具有文化相对性；借助民族志和历史学研究成果说明其他文化的逻辑本身也具有的文化相对性；通过语言博弈和生活形式概念说明作为元方法的演绎论证同样具有文化相对性。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

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

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

This deontic logic should be logic about normal propositions ra...

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

Extended logic is a logic branch which are made up of by using classical logic to analyze some concepts or categories of some special subjects, particularly, philosophy, including Modal Logic, Deontic Logic, Tense Logic, etc.

逻辑扩展逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑学分支，如模态逻辑、道义逻辑、时态逻辑等。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。