查询词典 first-order theory

The course is a fundamental course for computer science theory. It's the first part of Discrete Mathematics in Computer Science.

本课程为计算机科学理论的基础课程，是面向计算机科学的离散数学结构的第一部分。

The first is propositional knowledge about natural phenomena and their regularities, e.g., the law of gravity and the germ theory of disease.

第一类是关于自然和它们的运动规律的命题性的知识，比如万有引力定律和疾病的病菌理论。

This paper, prefaced by interpretation of Habermas' reason, tries to disclose essential decline of this critique as a theory of values. First, its reduction to sociology leads to its disjuncture with natural law; second, it lacks normal vision to measure the reason of law in its theoretical statements and social critiques; third, it seriously underestimates the legitimate basis of modern Western social regimes; and fourth, it takes aesthetic value criticism to replace legal critiques.

本文以哈贝马斯的省思为引导，揭示这种批判作为价值论设的根本失落：一、它的社会学还原导致其与自然法的纽带发生断裂；二、在理论陈述和社会批判中缺失打量法理性的规范性视野；三、严重低估西方现代社会体制的合法性基础；四、以审美主义的价值批判取代法理批判。

The first chapter is the theory of dividend distribution of listed companies.

第一章主要是上市公司股利分配理论的综述。

Every theory of education in our sense will, then, assume an affirmative answer to the first question, though it may do so dogmatically, without discussion.

那么，在我们的意义上，每一种有关教育的理论，对第一个问题都设想一种肯定的回答，虽然它可能是这样的武断，没有讨论。

The first section of Part Three discusses the status of Vietnam in the U.S. geopolitics strategy in the subsequent 1954-1960 period, and shows that guided by the Domino Theory, the United States chose to substitute France to interfere in Vietnamese internal affairs.

第三部分一方面论述了1954—1960年越南在美国地缘政治战略中的地位，以及在多米诺骨牌理论指导下美国取代法国对越南进行干涉。

In this paper, a speckle reduction method for SAR images based on Dual Tree Complex Wavelet Transform is proposed. It first presumes the probability distribution function for complex wavelet coefficients of the original nature image, and then applies MAP theory to estimate coefficients from the noisy wavelet coefficients. Filtered image can be derived after inversed DTCWT.

该方法首先对无噪声污染图像的复数小波系数的统计概率分布进行建模；然后利用此先验概率模型，采用最大后验概率方法从含噪小波系数中估计出无噪声污染的小波系数：最后经重构得到滤波后的图像。

Pierce is to pay attention to the economy of intellectual theory to pay the first United States egghead of action.

皮尔斯是注重知识理论的经济报偿作用的第一位美国理论家。

For the first time, a revolutionary theory argues that the answer may be inside the Pyramid. National Geographic follows renowned experts Architect Jean-Pierre Houdin and Egyptologist Bob Brier as there set out to solve the mystery of how the Great Pyramid was built. On an expedition to Giza, the pair uses Houdin's detailed blueprints of the structure and 3-D software to unlock the secret.

有一个理论提出，答案就在金字塔内，国家地理频道跟随知名建筑师Jean-Pierre Houdin和考古学家Bob Brier一起探索当时人们如何建造如此大的金字塔。

This first article focuses on the general theory of EIS, and some of the instrumentation required to make...

我们要保护木材抵抗何种侵蚀以及了解这样做的原因非常重要。然后我们再详细论述。。。

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.

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