查询词典 classical logic

Serial Data present at the input is transferred to the shift register on the logic 0 to logic 1 transition of the CLOCK input pulse.

在串行数据输入端转移到了移位寄存器的逻辑0到逻辑1的时钟输入脉冲过渡。

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

There exist two logics in biology teaching. One is the internal logic of this subject and the other is cognitional logic of students. Sometimes their consecution may be inconsistent.

摘 要 生物学教学中存在两个逻辑，一个是学科内在逻辑，另一个是学生认识逻辑，两个逻辑的顺序往往不尽一致。

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校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。