查询词典 classical logic

His economic thought about the Industrial Revolution included: an amendment to laisser faire which he believed that if only were everybody's freedom guaranteed, promoting social welfare could been realized; enclosure being a pre-condition to the agricultural progress in Britain and the establishment of individualist ownership being a law in civilized societies; and also, a refutation to the wage-fund theory of classical economics by logic and evidence and its conclusion about the improvement of workers' living standard in the Industrial Revolution.

汤因比的有关经济思想主要包括三方面：对自由理论提出了修正，认为只有保证所有人的自由才能促进全社会的福利；将圈地视为英国现代农业进步的前提，并认可个人所有权的建立是文明社会发展的趋势；从理论和事实上批判了古典经济学的工资理论，同时也得出了工业革命中工人的生活水平不断改善的结论。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

This paper describes the design of a BTT missile autopilot by means of the classical control theory, and the guidance logic using the proportional guidance law without any constraint in the maximum roll angle of the missile.

本文先用古典控制理论设计BTT导弹自动驾驶仪，采用比例导引规律，在导弹最大滚动角φ_不作限制的条件下设计制导逻辑。

So, ALEXANDRE furniture not only include classical, modern and countryside styles, but also create the new classical system all by oneself, perfectly annotate the essence of American culture.

因此，ALEXANDRE家俱可能同时具备乡村风格的轻松写意，以及古典风格的典雅传统。

In classical economics and new classical economics, an enterprise is one of components of market and has apriority as an organization, so they do not discuss its economic character but focus on its actions of business management, like its production function and its extension, and the cost theory is suited to them.

在西方古典经济学与新古典经济学里，企业是市场的构成要素，作为一种组织具有先验性，因此，它们并不考虑组织本身的经济意义，而集中探讨企业的生产经营活动，即生产函数及其拓展，其成本理论也是与生产函数相匹配的成本函数的研究。

The Classical Chinese Garden at the U. S. National Arboretum will be the finest example of a classical Chinese garden in the United States due to several factors.

中国古典园林在美国国家植物园将成为最优秀的例子，以中国经典园林，在美国由于若干因素。

Ran classical is not to signify pass , is permeated with the jadeite decorations article of strong eastern classical cultural flavor , is the eastern pet of female baldric now still.

然古典并非意味着过去，洋溢着浓厚东方古典文化气息的翡翠饰品，如今依然是东方女性佩饰的宠儿。

However, Marshall[1] derived the Planck's black body radiation formula from classical theory without any quantum hypothesizes, and also She[2,3] derived directly the quantization of light energy in vacuum and the Planck radiation formula from classical electromagnetic theory.

可是，英国科学家Marshall却不借助任何量子假设而仅仅依靠经典理论就导出了Planck的黑体辐射公式[1]，中国科学家She也不依靠任何量子理论而仅仅根据经典理论就直接导出了真空中光能量的量子化，还能顺利导出Planck的黑体辐射公式[2，3]。

The Bohr theory, with its strong flavor of elementary classical mechanics, formed an important bridge between classical physics and present-day atomic theory.

玻尔理论具有强烈的初等古典力学的气味，这就构成了古典物理和近代原子理论间的一座重要的桥梁。

The Bohr theory , with its strong flavor of elementary classical mechanics, formed an import bridge between classical physics and present-day atomic theory .

玻尔理论具有强烈的初等古典力学的气味，这就构成了古典物理和近代原子理论间的一座重要的桥梁。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。