定理的

This statement of the Hohenberg-Kohn theorem of Density Functional Theory plays an exceptionally important role among all the fundamental relations of molecular physics.

这Hohenberg科恩职能理论在的全部分子物理学的基本关系中起异常重要作用的密度的定理的陈述。

Then the design of PID fuzzy control system based on T-S fuzzy controller is proposed. 5. The parallel distributed compensation method is proposed to devise fuzzy controller based on the existed fuzzy state equation model and its stability theory for continuous and discrete system. The stability of fuzzy closed-loop system is investigated using LMI.

在现有的连续和离散系统的模糊状态方程模型及其稳定性定理的基础上，用"并行分散补偿"方法设计出模糊控制器，利用线性矩阵不等式法对模糊闭环系统的稳定性进行了分析，并且在线性矩阵不等式的基础上设计出了稳定的模糊控制器。

150 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 1-151 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

31 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 3-32 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

The wave-particle duality and uncertainty relation in quantum mechanics are very hard to imagine,but they are very similar to the phenomenon of the society and human in which copy and cloning is possible.If the quantum state has something like gene,it is possible to cloning a quantum state.

量子力学中的波粒二象性、不确定性关系等等难于理解，但是却与人类社会中的许多现象绝妙地类似，从更加微观的角度分析，如果量子态也存在类似基因的成分，可以绕开量子不可克隆定理的证明中假定的情况进行克隆。

Even though the statement of the theorem is easy to understand, the proof consumed almost the entire life of one person and used exoteric mathematical topics that most of us never heard of.

尽管该定理的表述本身很容易理解，但它的证明几乎耗尽了一个人毕生的心血，而且要用到绝大多数人闻所未闻的罕见的数学问题。

For the admissible time-delay as well as non-linear disturbances, an time-delay integral transformation and a matrix inequality method are developed. The design of observer and stability of error systems can be represented as a matrix inequality, matrix of observer gain and condition of global asymptotically stable of error systems are obtained. An example is included to illustrate the pratical applicability of the proposed theory.

对于允许的时滞和非线性干扰，利用一个变换和不等式技巧，将观测器的设计，误差方程的稳定性归结为一个矩阵不等式，给出了观测器增益阵的解析式和误差方程全局渐近稳定的条件，一个例子说明了所提定理的可行性。

By increasing the condition of the integral mean value theorem,we prove that the existence of intermediate point and the existence of interval are corresponding to each other.

给出了积分中值定理的一个注记，证明了中值点的存在性与覆盖中值点的区间的存在性是相互对应的。

Finally,by applying a ran-dom version of Kifer's large deviation theorem and the volume lemma,we prove thelevel-1 LDT for randomly perturbed Axiom A attractors of diffeomorphisms withrespect to the Lebesgue measure.

最后，利用Kifer的大偏差定理的随机版本和体积引理，我们证明了微分同胚的公理A吸引子的随机扰动系统相对Lebesgue测度的level-1 LDT。

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.

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

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。