查询词典 sequential logic

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 the differential input voltage Vab is greater than +200 mV the RECEIVER will have a specific LOGIC state on its OUTPUT terminal. If the input voltage is reversed to less than -200 mV the RECEIVER will create the opposite LOGIC state on its OUTPUT terminal.

如果有差分输入电压Vab 大于+200 mV，接收器的输出端将有一个明确的逻辑状态，反过来，如果输入电压小于-200 mV，接收器的输出端将产生相反逻辑状态。

Careful logic thinking ability, logic thinking structure and treat to the thing dispassion with analytical skill.?

缜密的逻辑思维能力、逻辑思维架构及对事物冷静看待和分析能力。

I am trying to use Chinese language to finish the doctorial disquisition of the logic form of the Tibetan logic.

经国内外因明学家的不懈努力，因明研究已步入了一个新的历史阶段。

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate.

ERCCL利用电容耦合进行逻辑求值，因此可以在一个门中低能耗地实现高扇入、高复杂度的逻辑。

While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

证明是一种形式逻辑的思维方式，论证是一种非形式逻辑的思维方式。

Kinds of dialectical logic and formal logic will be completely in opposition to the attitude is wrong.

那种将辩证逻辑与形式逻辑对立起来的态度是错误的。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。