查询词典 Boolean logic

It is well known that first-order logic and axiom set theory are two part of the whole mathematical logic.

众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。

Traditional logic' s answer to this question seems to be self-evident, but mathematical logic makes this question complicated.

传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。

The development of mathematical logic makes logic lose its significance and depart from the ontological discussion.

海德格尔从哲学探究的角度出发，对哲学和逻辑进行了深入的思考。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

If be model name, then all modificatory records need to come true in business logic, the advantage is to be able to transplant the gender is tall, defect is to invade business logic.

如果是模型名称，那所有的变更记录都需要在业务逻辑中实现，优点是可移植性高，缺点是侵入业务逻辑。

The controversy between the monist and pluralist conception of logic also happens in the field of logic teaching.

传统逻辑与现代逻辑的争论，主要表现在如何改革大学文科逻辑教材上，也表现在以哪种逻辑作为研究中国古代关于逻辑的理论发展史的工具更合适的问题上。

On the other hand, they usually use faulty analogy to study the logical thoughts in ancient China, and overlook the similarities and differences between the logical thoughts in ancient China and western logic. This means that the Chinese scholars, at the same time, have a monist conception of logic.

比附法在中国古代逻辑史领域曾有过巨大的历史贡献，但一味地坚持这种研究方法，或只注意到它的优点而忽视它的缺点，则无疑是把西方的逻辑学视为唯一的逻辑学，这是一元逻辑观；即以西方的逻辑学为参照物，又把西方的逻辑学视为一个平等的他者，也就是在研究中即注意中西逻辑学之相同的一面，又注意中西逻辑学之不同的一面，这是一种多元逻辑观。

Multiple value logic ; Discrete logic ; 4 value NOR gate ; 4 value NAND gate ; 4 value NAD OR NOT gate ; Five state gate ; DYL circuit

多值逻辑；离散逻辑；四值"或非"门；四值"与非"门；四值"与或非"门；五态门； DYL电路

On the basis of the study on the mathematical model of the closed-loop location control, the analysis of contour error in the process motion control and error calculation model, according to the lack of using normal contour error model not to calculate contour error of curve in real-time, combining real-time contour error compensation control strategy and fuzzy logic theory, the fuzzy logic and real-time contour error calculation based self-discipline control strategy is proposed.

2在研究闭环位置控制数学模型、加工轮廓运动控制中的误差分析和轮廓误差计算模型的基础上，针对利用一般运动轮廓误差计算模型不能实时计算出曲线轮廓误差的不足，结合实时轮廓误差补偿控制策略和模糊逻辑理论，研究了基于模糊逻辑理论和实时误差计算的轮廓自律控制策略。

This portion is the game logic update sequence that forces the game logic physics updates, object motion, animation cycling, etc...

游戏的逻辑处理包括物理更新、对象行为、动画循环等等。

Foods high in this vitamin include oily fish such as salmon, tuna and, and fish liver oils.

维生素D含量高的食物包括诸如大麻哈鱼、金枪鱼和鲭鱼之类的油鱼以及鱼肝油。

We need you to cosign our public letter demanding that press intimidation cease immediately, and that all charges be dropped.

我们需要您cosign我们的公共信，要求记者立即停止恐吓，并要求所有收费下降。