查询词典 combinational logic

Just as he used logic to describe the foundations of mathematics in Principia Mathematica , Russell would use logic to clarify philosophy, through his concept of logical atomism, and linguistics, through his theory of descriptions.

正如他所使用的逻辑描述的基础数学中的数学原理，罗素将使用的逻辑，以澄清理念，通过他的逻辑原子主义的概念，与语言学，通过他的理论说明。

The pitch organization logic of pentatonic twelve-tone is the most important structure logic in Luo Zhongrong's twelve-tone music works, mainly composed of two structure types: pentatonic tonality serial and pentatonic atonality serial.

五声性十二音的音高组织逻辑是罗忠镕十二音作品中最重要的结构逻辑，主要有五声性调性序列和五声性非调性序列两种结构类型。

Firstly,the authoress analyzes severaljurisprudential points of the view on the logic structure of legal rules,andexpounds his own opinion on the logic structure of legal rules.

首先对法理学界有关法律规则的逻辑结构的几种观点作了分析，并阐述自己对法律规则逻辑结构的认识。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

The economics methodology has formed a whole battery of analytical framework and tool under the influence of scientific philosophy, which is characterized by logic positivism, negativism and historical materialism. The fundamental characteristics of the economics methodology are based on the axiomatization positive logic deductive method, which assumes the rational human being as its hypothetic premise. The most remarkable characteristic of the economics methodology is the general application of mathematics in economics and it is developing forward to the more accurate and magnificent system.

特别是在以逻辑实证主义、证伪主义和历史主义为代表的科学哲学的影响下，经济学的方法论已经发展出一整套的分析框架与工具，基本特征是建立在"理性人"假设基础上的公理化的实证的逻辑演绎方法，最突出的表现是数学在经济学中的广泛应用，并正在向着更为精密与恢弘的体系演进。

The pneumatic logic is simple Boolean logic based on the sign of the position error.

气动力学的逻辑是简单的布尔逻辑根据位置误差的标志。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。