查询词典 first-order theory

This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.

文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评，指出这二者的共同点是从实在论的立场来拒斥恶性循环原则，他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比，本文认为，这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。

With regard to the central part, the actual state of coordinate axis is analyzed first, then the theory ofthe projection method is introduced. On the basis, the method of identifying coordinate origin ispresented.

在本文的核心部分——曲线识别中，文章首先从分析曲线图中坐标轴的分布情况出发，引出投影法，在此基础上提出了利用投影法识别坐标原点的理论。

The spatiotemporal spectral line intensities of the first three atomic lines in Hydrogen Balmer series (λ=656. 28, 486. 13, 434. 05nm) of RF ion source plasma, are measured with calibrated Optical Multichannel Analyzer . Some plasma parameters, including electron temperature, hydrogen atom density and hydrogen ion density, are calculated and analyzed Using Partial Local Thermodynamic Equilibrium theory and Abel transform.

实验采用绝对定标后的光学多道分析系统测定了离子源等离子体不同时间和空间位置的氢原子巴耳末谱线系中前三条谱线（λ=656.28，486.13，434.05nm）的强度，并采用PLTE的理论和Abel变换方法，计算出了高频离子源等离子体的电子温度、氢原子浓度、氢离子浓度等参数在放电的不同阶段和径向分布情况，并进行了简要分析。

Basing on the upward point, the research brings forward the eight kinds of measures of the standardized management of the contract farming: first, making standard contract, perfecting the program of signing; second, applying double theory etc, forming the benefits mechanism of the contract farming; third, facing the market demand

订单农业在我国的应用是客观现实的选择，但也存在着一些问题，因此，现阶段发展订单农业需要在风险规避机制、微观管理和服务、宏观政策环境优化等多方面创新，趋利避害，进一步完善和发展订单农业，提高订单农业的应用效果。

First, commonly used methods of flight segment volume forecasting are systematically elaborated, Then theory basis of support vector machine and its principle are introduced, support vector machine model is inferred, the support vector machines algorithm is studied.

首先，系统地介绍了航空运量预测中常用的预测方法，并对几种常用方法的特点进行了分析比较。

This paper aims to research the idea historia which is the central conception in the artistic theory of Leon Battista Alberti. To demonstrate the original meaning of historia in different period of time, which ranged from antique Greek to Renaissance, is the first chapter of this paper.

本文以文艺复兴时期伟大的人文主义者里昂·巴蒂斯塔·阿尔贝蒂艺术理论中的historia观念为主要关注点，将该词本体含义、在阿尔贝蒂理论中的应用并结合对已有研究成果的分析比较进行较为客观地考释研究。

First, Marxism is a growing theory, must be combined with the actual situation.

第一，马克思主义是一个不断发展的理论，必须与实际情况结合。

The first elucidates the meaning and content of the research of mathematical culture, which can be depicted as a powerful dynamic system, the core of which is the mathematics science, and parts are composed of correlated cultural fields which are interfered by mathematical idea, spirit, method, technology and theory such as.

数学文化可以表述为以数学科学为核心，以数学的思想、精神、方法、技术、理论等所辐射的相关文化领域为有机组成部分的一个具有强大功能的动态系统。数学文化涉及的基本领域包括哲学、艺术、历史、经济、教育、思维科学、政治及各门自然科学。

First, the fundamental theory through the activity-based costing is begrimed with, to that the means connotation. The analysis has been underway to the fundamental move of distinguishing feature along with implementation, there was the preliminary comprehension.

首先，从作业成本法的基本理论入手，对该方法的内涵、特点以及实施的基本步骤进行了分析，有了初步的了解。

Among those; studies, Liu and Bek have obtained many important results for the theory and applications of Banach spaces and their geometry on complex number,(see [3],[41])Here, we have investigated the TP modulus of convexity and TP modulus of smoothness, on the one hand, we have defined a class of new spaces called uniformly TP convex ,on the other hand, we have extended martingale inequalities and the martingale spaces.This article is divided into four parts, in the first part, we define the TP modulus of convexity and TP modulus of smoothness of Banach space, and prove that the space which is characterized by uniform convexity is same as the space which is characterized by TP uniform convexity. Then we give TP q-uniformly convex and TP p-uniformly smoothable characterization of the Banach space. At the same time, we prove the famous renormed theorem.

本文分为四部分，第一部分在Banach空间上定义了一个新的TP凸性模和TP光滑模并证明了在Banach空间上它分别和一致凸性和一致光滑性刻划的空间是同构的，即如果Banach空间X是一致TP凸的充分必要条件是存在一个等价范数，使得在此范数下，它是一致凸的；Banach空间X是一致TP光滑的充分必要条件是存在一个等价范数，使得在此范数下，它是一致光滑的，我们还分别得出了判定一致TP凸和一致TP光滑的一些充分必要条件，同时还证明了箸名的重赋范定理。

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.

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