查询词典 classical logic

Distinct intellectual thinking based on classical formal logic and served as a kind of thinking fashion infiltrate thorugh human selfconsciousness of practice,as was featured by Helladic civilization.

类属边界表现清晰的知性思维构筑在古典形式逻辑之基础上，而作为一种思维方式，渗入人类自我意识的实践活动，其中以古希腊文明为代表昭示了这一过程。

Outstanding characteristic of Wang Yao"s study on Lu Xun lied in his wide vision from classic to modernization, and his macro-scopical assurance to the relationship between Lu Xun and Chinese and foreign culture, its particular exhibition is that "with the wide and deep Chinese classical literature training, he probed into historical origin of Lu Xun"s works, and dialyses Lu Xun"s works from literature and history So, Wang Yao Surmounted simple logic infer and carried on concrete analysis of real example nature.

王瑶鲁迅论的突出特点，在于由&古典&而&现代&形成的宏大广博的视野和在此基础上对鲁迅与中外文化关系的宏观把握，特别&是以广博深厚的中国古典文学修养探讨鲁迅作品的历史渊源，对鲁迅作品进行深广的历史的和文学的双重透视。&

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导弹自动驾驶仪，采用比例导引规律，在导弹最大滚动角φ_不作限制的条件下设计制导逻辑。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。