查询词典 first-order theory

In the first part, firstly, we introduce the nonstandard analysis theory simply. Using the axioms in nonstandard analysis, the nonstandard model is axiomatic approached, and the existence of nonstandard model and the consistence of axioms in nonstandard analysis are proved by the construction of nonstandard model. Secondly, some properties of nonstandard model are discussed, such as transitivity, Boolean properties, etc. Finally, Loeb measure spaceY,L

在第一部分里，首先对非标准分析理论进行了简单的概述，通过用非标准理论中的公理，给出了非标准模型，进而利用非标准模型的构造，证明了非标准模型的存在性和非标准模型中公理的一致性；其次，讨论了非标准模型的一些简单性质，如传递性，布尔代数运算性质等；最后，在内测度空间Y，

This dissertation clarifies the general theory of normalization of constitution in the first part.

本文第一部分阐明了宪法规范性的一般理论。

The first chapter defines the nous, the nous of science and technology, the nous of the value, to confirm their differences from the academic theory and the contradictory in these differnces in reality.

第一章界定了理性，科技理性和价值理性的含义，从学理上证实了它们的区别，以及这种区别在现实中体现出来的矛盾性。

This was the first period of development of the press theory.

这是新闻理论发展的第一阶段。

Furthermore, the new ultrasonic vibration honing equipment designed according to the local resonance theory is manufactured and the second-level amplification phenomenon of individual sub-system of"flexible pole and oilstone base"in system is discovered for the first time.

粗、细磨粒超声延性域珩磨工程陶瓷材料的试验研究 a通过粗磨粒珩磨氧化锆工程陶瓷试验首次得出：普通珩磨延性切削范围小于1.5μm，同样条件下超声珩磨，延性切削范围可得到9μm，即超声珩磨的延性域切深几乎是普通珩磨的6倍。

This theory had three main parts. First, based on the DIT, they rectified the DIT1 and constructed the DIT2. Second, in accordance with the factor analysis on the responses to the DIT, they postulated three moral schemas (the personal interest schema, the maintaining norm schema and the postconventional schema) instead of stages with distinct justice operations. Third, in light of the double classification(the moral schema predominance and the moral schema mixture), they produced six moral types.

它主要有三部分内容：第一，莱斯特等人以确定问题测验为方法基础，着手对最初的确定问题测验版本(DIT1)进行修订，形成了新的确定问题测验版本(DIT2)；第二，他们在对大量的DIT反应进行因素分析的基础上，得出三个道德图式，即个人利益图式、保持规范图式和后习俗图式，由此将科尔伯格的阶段论改造为道德图式论；第三，莱斯特等人根据道德图式在人们头脑中的优势及其混合两种分类标准，将个体分为六种类型，建构了道德类型论。

This theory had three main parts.First, based on the DIT, they rectifed the DIT1 and constructed the DIT2. Second, in accordancewith the factor analysis on the responses to the DIT, they postulated three moral schemas (thepersonal interest schema, the maintaining norm schema and the postconventional schema) insteadof stages with distinct justice operations.'Third, in light of the double classification(the moralschema predominance and the moral schema mixture), they produced six moral types.

它主要有三部分内容：第一，莱斯特等人以确定问题测验为方法基础，着手对最初的确定问题测验版本进行修订，形成了新的确定问题测验版本(DIT2 )：第二，他们在对大量的DIT反应进行因素分析的基础上，得出三个道德图式，即个人利益图式、保持规范图式和后习俗图式，由此将科尔伯格的阶段论改造为道德图式论：第三，莱斯特等人根据道德图式在人们头脑中的优势及其混合两种分类标准，将个体分为六种类型，建构了道德类型论。

The topic of the first chapter in the text is " the Humanistic Literature: the ontic image creating of the May 4th Literature", which is to discuss the ontic image creating and reasons in the dynamic procession of the Literature theory construction in the May 4th movement.

正文第一章题为"人的文学：五四文学本体意象的创造"，在五四文学理论建设的动态过程中论述文学本体意象的创造及其原因。

Gao Kun in 1965 first proposed the use of optical fibre to transmit information theory and the initial experiment.

当时的英籍华裔学者高琨博士于1965年首先提出了用光导纤维来传输信息的理论与初步实验。

First,the the ory of continuous dependence of the optimal trajectory on the parameters and the theory of convergence about optimization algorithm model are introduced.

首先 介绍最优轨道对参数的连续依赖性和优化算法的算法模型的收敛性理论。

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.

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