查询词典 logic

This is on digital circuits ppt courseware, for combinational logic circuits and sequential logic circuits have stood out clear and thorough.

详细说明：这是关于数字电路的ppt课件，对于组合逻辑电路和时序逻辑电路都讲得比较清晰透彻。

Include:(1) Basic Principles,(2) Algorithmic Simplification Techniques,(3) Use modern design and development kits,(4) Combinational logic design,(5) Sequential Logic design.

课程内容包含：(1)基本原理，(2)简化逻辑技巧，(3)电脑辅助逻辑设计工具，(4)组合逻辑设计，(5)循序逻辑设计。

The FPGA integration rate is very high, its component density from tens of thousands of system gates to the number surely system gate different, may complete the extremely complex succession and the combinatory logic electric circuit function, is suitable high speed in, the high density high end numeral logic circuit design domain.

FPGA的集成度很高，其器件密度从数万系统门到数千万系统门不等，可以完成极其复杂的时序与组合逻辑电路功能，适用于高速、高密度的高端数字逻辑电路设计领域。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.

可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一，人们很自然地会问，从可计算性得出的是什么逻辑，这就是报告人新近提出的可计算性逻辑。

The realists consider that logic is discovered,while the conventionalism has the answer that logic is invented.

实在论者认为逻辑是发现的，约定论者认为逻辑是发明的。

Then, on the basis of the functional verification, the system architectures of the radio frequency analog front end and the control logic circuit for the passive UHF RFID transponder are studied and designed with low-power design techniques. The RF AFE circuit includes rectifier, matching network, backscatter, regulator, AM demodulator, voltage reference, local oscillator and power on reset circuit, and so on. The control logic circuit contains clock synchronization module, decoding module, coding module, cyclic redundancy checksum module, power management unit, control unit, shift register and memory.

然后，在功能验证的基础上，重点研究了无源超高频射频识别标签芯片射频模拟前端电路和控制逻辑电路的系统架构，并采用低功耗设计技术对其进行了设计，射频模拟前端电路设计包括了整流器、匹配网络、反向散射电路、稳压器、AM解调器、电压参考源、本地振荡器以及上电复位电路等，控制逻辑电路设计包括了时钟同步模块、解码模块、编码模块、CRC校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

In the view of logic, reasoning is the use of knowledge and logic deduction.

从逻辑的角度来看，对知识的利用就是推理，就是逻辑演绎。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。