查询词典 first-order theory

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

He integrated the ideological essence of Confucianism, Buddhism and Taoism, and used the " Natural kindniss " to express the Innateknowledge ontology, which composed his ontology theory ; He took this "Natural kindniss" as the basic of his theory, to pursue the Humanity realm which claim "One Unity of All Things" and the Easefulness realm which claim "free and easy", he thought both the two realms have the same mean, and finally proposed the theory of realm. On the Effort theoretically, Luo Jinxi emphasized "all lays down and breaks the unreal ontology theory", to fit the Natural kindniss in the just moment .He fused the Effort and the Ontology , which made the two together. As to the theory of "Awakening Oneself by discreet on One"s Own","The investigation of things" and "Filial piety and fraternalduty, Luo Jinxi also put forward an especial theory which made his thought into a perfect system and reached an extensive and proficient realm.

他融合儒释道的思想精华，用"赤子之心"来表述良知本体，构成其思想的本体论学说；并以此赤子良知为理论基点，追求"万物一体"之仁的境界与"生意活泼，了无滞碍"的洒脱之乐的境界，认为仁之境即是乐之境，乐之境即是仁之境，最终提出追求仁乐合一境界的境界论思想；在工夫理论上，罗近溪强调"放下一切、打破光景"，顺适赤子良知之当下状态，将工夫融释在良知本体中，即工夫即本体，即本体即工夫，表现出一种无工夫之工夫论；在关于慎独、格物、孝悌慈等论题上，近溪也提出了极具理论特色的观点，使其思想形成了一卓然圆熟的体系，达到了一"博通圆融"的境地。

By applying game theory and contraction mapping theorem, a sufficient condition for the existence and uniqueness of Nash equilibrium in a multi-person non-cooperative game is proposed. Another implication in the sense of game theory is presented for the stability condition of supply-demand equilibrium in traditional economic theory. It can demonstrate the stability condition for supply-demand equilibrium in economic theory. So the stable supply-demand equilibrium of cobweb model in economics is in fact equivalent to the Nash equilibrium in game theory. That is a brand-new explanation for the conclusion in traditional economic theory.

应用博弈论中的有关理论与压缩映象定理寻求一类多ISP非合作对策纳什均衡存在、唯一的充分条件，给出了传统经济理论中供求均衡稳定性条件的对策论意义，证明了经济理论中的供求均衡稳定性条件；说明了经济学中蛛网模型的稳定供求均衡实际上就是对策理论中的纳什均衡，从而给出了传统经济理论中关于这一结论的新解释。

Chemical bonds and structural theory of organic chemistry 6 class hoursKnow the history of organic chemistry; Grasp the basic theory of organicchemistry, such as structural theory, chemical bonds, resonance theory, atomic andmolecular orbital theory, and valence bond theory; understand polar and non-polarcompounds, dipole moment and know how to express the structures of organiccompounds with different molecular formulas.

了解有机化学发展简史；掌握有机化学结构理论、化学键理论、共振理论、原子和分子轨道理论和杂化轨道理论；了解极性和非极性分子并掌握有机化合物结构的表示法。

Han Fei Zi's economic thinking was a prominent part of his doctrine, including the theory of benefiting people by meeting their self-content needs, the multiple and value-added theory about wealth based on the society's division of labor, the theory about agriculture as the major, the theory about how to suppress the commercial careers as the minor in favor of the "major business", the theory about frugality as the discipline of the bureaucracy, and the theory about sufficient salary.

韩非子经济思想在其全部思想占有重要地位。它包括：满足「自止於足」需求的利民论﹔以社会分工为基础的财富多元增殖论﹔以「富国以农」为纲领的农为本业论﹔以利「本务」为目的、而「少工商游食之民」的抑末论﹔以「俭於财用，节於饮食」为基本要求的官府作风论﹔用「俸足以给事」：「利必在禄」制约的傜赋论。

Ability-to-pay principle; Head Tax; benefit principle,tax progression; minimum of existence; source theory; comprehensive income theory; accretion theory; Markt income theory; principle of competement neutrality; sacrify theory; benefit theory

中文关键字量能原则；人头税；量益原则；累进税；维持生存最低需求；源泉理论；纯资产增加说；市场所得理论；竞争中立性原则；牺牲理论；用益理论

The origin of the Caste includes mostly varna theory, occupation theory, race theory, religion theory, Aryans' family system theory, aboriginal of India culture theory etc..

种姓的起源大致包括："瓦尔纳"论、职业论、种族论、宗教论、雅利安人家庭制度论、土著文化论等等。

The main points considered are as follows:(1)an introduction leading to the origins of the theory;(2)empirical research on misconceptions of children;(3)philosophical basis undergirding conceptual change theory;(4)the mechanism that brings about conceptual change in science students;(5)a revision of conceptual change theory;(6)similarities and differences between conceptual change theory and constructivism;(7) conceptual change theory and science teaching and learning; and (8)a criticism of conceptual change theory.

在这一节里探讨的问题是：(1)观念转变理论的提出；(2)关于错念的经验性研究；(3)观念转变理论的哲学基础；(4)观念转变的机制；(5)对观念转变理论的修正；(6)观念转变理论与建构主义的联系与区别；(7)观念转变理论与科学教学；(8)对观念转变理论的评价。

The eighty years history of CPC indicate that to combine the Marxism social development impetus theory with the practice of Chinese revolution and construction, to boost the sinicizing of Marxism social development impetus theory, to form the contradiction impetus theory of Mao Zedong, reform impetus theory of Deng Xiaoping, innovation impetus theory of Jiang Zemin and harmony impetus theory of Hu Jintao.

中国共产党八十多年历史表明，把马克思主义社会发展动力理论与中国革命和建设的实际相结合，推进马克思主义社会发展动力理论的中国化，形成了毛泽东的矛盾动力论、邓小平的改革动力论、江泽民的创新动力论以及胡锦涛的和谐动力论这一一脉相承的中国化的社会发展动力理论。

Therefore, it is significant to research and develop a management information system of agricultural mechanization equipment for agricultural modernization. Based on the modern management theory, some mathematical modelings are constructed by system engineering theory, rough set theory, gray system theory, avail theory and neural network theory in this dissertation. It can resolve some actual problems, for instance, forecasting machine amount, agricultural machine power and prices.

本文在现代管理理论的基础上，运用系统工程、粗糙集理论、灰色理论、效用理论、人工神经网络等方法，进行数学建模，对未来农机需求、农机总动力、农机价格等问题进行探讨，并应用到农机装备管理信息系统的各个方面，对农业机械的各种信息进行传输、存贮、组织和处理分析，最终取得了较为理想的结果。

Salt is good, but if the salt becomes flat and tasteless, with what do you season it?

14：33 盐本是好的，盐若失了味，可用什么叫它再咸呢？

He reiterated that the PLA is an army of the people under the leadership of the Communist Party of China.

他重申，人民解放军是在中国共产党领导下的人民军队。