查询词典 elementary

The proof of some propositions on points collinear in elementary geometry with vector mothod;2. The last we proof points of intersection being collinear .

文章首先证明了巴卜斯定理的特殊情况，然后利用此特殊情况及巴卜斯定理作了四个推广应用，最后将巴卜斯定理的原来三点共线推广到了六点共线，再推广到12n(n-1)个交点共线。

The Chinese people have regarded in the American history two people have been the hero, Washington are first, because he is oppressed from the colonizer hand for the US the people have captured the free independent status; The second hero is Lincoln, because he liberated the black slave. In the 60s in China's elementary school text also disclosed the American colonizers trade the black from Africa not the humanity behavior.

中国人民一直视美国历史上两个人为英雄，华盛顿是第一个，因为他从殖民者手里为美国被压迫的人民夺得了自由独立的地位；第二个英雄就是林肯，因为他解放了黑奴。60年代中国的小学课文中还披露美国殖民者从非洲贩卖黑人的不人道的行为。

I read comics in my elementary school .

我在我的小学读了漫画。

The central and elementary task of comparative studies is the search for forms of mutual commensurability of different philosophical traditions.

故比较研究的核心与基本任务，便是要研究不同哲学传统中的可共量形式。

A new method of calculating the greatest common divisor of several integers by using the row elementary operation is given.

利用整数矩阵的行初等变换给出一种求几个整数的最大公因数的新方法，并给出这种方法的一个应用。

This thesis mainly works on the normality of elementary subgroup of Unitary group over almost commutative rings.

本文主要对几乎可换环上酉群的基本子群的正规性进行了研究。

My father mother is the company officer, my lovable younger sister is an elementary student.

我的爸爸妈妈是公司职员，我可爱的妹妹还是一个小学生。

Under the most elementary conditions for backward stochastic differential equation introduced by Peng S., we put forward and prove a general converse comparison theorem.

在由彭实戈引入的倒向随机微分方程的最基本的条件下，提出并证明了一个一般的反比较定理。

In the paper, the elementary principle of the Compensator and the assembly process is explained in detail.

本文对该无功补偿装置的软硬件基本原理及安装调试方法进行了介绍。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

They have quite a lot of work to do.

他们有许多工作要做。

Let us give you a more elaborate example of this process.

让我们给你这个过程的更多的详细例子。