查询词典 logic

In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV- algebra and a lot of algebra systems with logic background.

近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果([1]，[3-14])。

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

The fundamental of Logic Algebra Decoding is analyzed at first. Then the bit error types of (2, 1, 4) convolutional code are discussed, and 19 bit error types in a constraint length including 10 bits are found, if one or two bit errors are considered.

之后研究了误码判定的规则，证明了伴随式只与错误图样有关，而与编码器输入的信息序列无关，通过分析错误图样，得出了19种误码类型所对应的伴随式。

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线

A new network routing algorithm is proposed, which follows calculation rues of logic algebra and calculates routes with depression of order transformation of incidence martrix. For network with m nodes, m-2 times depression of order transformation operations can get all routes between two nodes. Furthermore, it accords with the communication transmission rules and avoids the close loop routes.

提出一种网络路由新算法，是按照逻辑代数运算规则，以关联矩阵降阶变换方式计算，对于有m个节点的网络，只需m-2次距阵降阶变换运算，就能够算得网络两节点间全部路由，且不会出现闭环路由问题，完全符合通信传输规则。

We also get a representation theorem for Bi-difference sets.2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.

理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

As early as the early 1990s, conducting large-scale foreign Set text retrieval tests will be made on the field of automatic abstracting text structure analysis for information seized request area to enhance the retrieval accuracy, and have done a series of studies, presents a simple and effective logic of the division algorithm : TextTiling algorithm.

早在90年代初期，国外在进行大规模文本集合检索试验时就提出将自动文摘领域的文本结构分析应用于信息检索领域以提高检索精度，并对此进行了一系列研究，提出了一种简单有效的逻辑段划分算法：TextTiling算法。

I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""

客人们在卡罗利娜·埃凯家里，举止就文雅一些，因为卡罗利娜的母亲治家很严厉。

Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.

由著名品牌 Herm è s 设计，这件高贵的制服是香港本土制造，是我们第一套不配帽子的制服。