查询词典 Boolean logic

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.

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

A quantified logic of clarity and vagueness is developed, based on the pattern of the G delian system T of modal logic, a clarity operator replacing the necessity operator.

基于哥德尔模式的模态逻辑系统T，本文提出了一种关于清晰性和模糊性的量化逻辑，其中利用清晰性算子来代替必然性算子。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切