查询词典 logic element

The method includes establishing one reverse mapping list comprising list items; reading the mapping data recorded in the data block state list item area to the list items during system initialization; checking reverse mapping list and finding the data block in Flash memory during reading some logic block; and writing the updated data into the empty data area of one new data block, writing the mapping data between the new logic block and the new data block into the state list item area and updating the mapping data of the corresponding list item in the reverse mapping list during writing some logic blcok.

包括：建立一个由表项组成的反向映射表，一个表项对应一个逻辑块；在系统初始化过程中，将数据块状态表项区中记录的映射信息，按逻辑块号与表项间的对应关系读取到各表项中；读取某逻辑块时，以其逻辑块号作为表项索引查找反向映射表，定位到表项，根据表项中记录的映射信息，在Flash存储器件中查找到数据块；写入某逻辑块时，将更新数据写入一新数据块的空白数据区中和将该逻辑块与新数据块间的映射信息写入状态表项区中，同时更新反向映射表相应表项的映射信息。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

In terms of this framework, we have designed a pointer logic system for a subset of C language. The style of this logic is something like the style of Hoare logic. It can be used for accurate pointer analysis of pointer programs. The information from the analysis can be used to prove the side conditions of typing rules and then to support static type checking of programs.

根据这个框架，我们为C语言的一个子集设计了一种指针逻辑系统，该逻辑系统的形式和Hoare逻辑的形式类似，它可用来对指针程序进行精确的指针分析，所获得信息用来证明指针程序是否满足定型规则的附加条件，以支持程序的静态类型检查。

In this paper,we first introduce the research background and theory foundation of the project.Then we present a new technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic,and we have implemented this technique in a tool called APL.As an extension of Hoare logic, Pointer Logic can be used for accurate pointer analysis of pointer programs.

在本文中，我们首先介绍了项目的研究背景和理论基础，然后提出了一种为指针逻辑来设计自动定理证明器的新技术，这项技术主要是基于变换和替代，我们已经在一个被称为APL的工具中实现了该技术。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...

皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家；维特根斯坦强调语言确定性与模糊性的并存关系，并试图将二者统一；罗素从符号逻辑的水平上首次打破了古典逻辑的排中律，开辟了形式化模糊逻辑或多值逻辑的研究道路。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Karl Marx's thought of alienation of labor is neither based methodologically on the logic of individual, nor based on the logic of original inter-subjective relations, but based on the logic of labor in motion.

由此，马克思劳动异化论的方法论基础不仅不是建立在单个人的基础之上，而且也不是建立在基始性的主体际性关系的基础上的，而是以动态性的劳动活动为核心内容的。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑，关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是仅仅限于真假二值。

This is the inheritance of the tribe of the children of Issachar according to their families, the cities and their villages.

19：23 这些城并属城的村庄就是以萨迦支派按着宗族所得的地业。

I've have enough of your garbage.

我听了你的废话。