逻辑

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

However, it is important for you to realize that these questions do not rely on any kind of formal logic, nor do they require that you be familiar with specific terms of logic or argumentation.

然而，请你一定要认识到，这些问题并不依靠任何一种正式的逻辑，也不需要你去研究具体的逻辑或辩论方面的术语。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

A lot of fairy tales contribute to a formula language in his works, which have turned the daily life in Nabokov's fiction into a poetic imaginary world and the realistic logic into a poetic one.

纳博科夫作品中的大量童话构成了他程式化的艺术"语言"，通过这种童话语言，纳博科夫小说中的日常世界被转换成了奇幻的诗性世界，生活的逻辑被转换成了诗性的逻辑。

Optical logic gates and full adder are essential elements performing logic and arithmetic operations in optical digital computing systems.

光学逻辑门与全加器是数字光计算系统进行逻辑操作及算术运算的基本元件。

It is based on an one column full adder in function; there introduces the special carry chain in the parallel and the vertical directions in order to accord the flexible carry needed by the data channel, it can be confected into different working mode, and realizes the compound logic and the sequence logic.

它在功能上基于一位全加器；在水平和垂直方向中都加入了专用进位链以满足数据通路所需的灵活进位，可配制为不同的工作模式，分别实现组合逻辑和时序逻辑。

The concept of G unit interval and the definition of separable degree between elements on G unit interval are given, and some properties are discussed. Based on this concept, it determined a metric p, and ([0, 1], p) becomes a metric space (It is called G unit logical metric space). In this paper, the properties and structure of G unit logical metric space are discussed in detail, and get some good results.

给出了G单位区间[0， 1]的定义并在其上引入了元素间的可分度的概念，讨论了其基本性质，并在此定义的基础上确定了一个度量P，从而([0， 1]， p)成为一个度量空间（文中称"G单位逻辑度量空间"），并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论，并得到一些好的结果。

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

Concept data model of MRGISDM analyses entity's character and relationship. Logic data model designs logical and geometric representation of entity and relathionship; physical data model designs the schema of classification and coding ,orgnization of layers,and physical storage structure.

在MRGISDM概念模型中确定了市政道路中需要表达的要素实体，提取出每个要素实体的属性，并描述出实体之间的关系；MRGISDM逻辑模型则把市政道路实体以及实体之间的关系表达成地理信息系统所能识别的方式，并用UML语言等工具描述成UML逻辑模型图；MRGISDM物理模型从市政道路要素的分类与编码、图层的组织以及物理表结构等几个方面来设计市政道路要素的组织和存储结构。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。