查询词典 classical logic

Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.

与VDM++中的同步机制相比，不仅吸收了VDM++中两种同步机制的优点，同时也将其两种同步机制化归在统一的框架之下，减轻了用户的负担。

His manner is classical; he reasons on system; he has little humour; instead of striking with a cudgel he uses the weapons of a deadly logic and persuades by a teacher's authority, not by a demagogue's calling of names.

方式是他的经典，他的理由制度；他已很少幽默；不是惊人一个棒子，他使用的武器致命的逻辑和说服了教师的权威，而不是蛊惑的要求的名字。

Its"classical framework"has been shaped in The struggle for recognition: intersubjects has three recognition forms of love, rights and solidarity; accordingly, the development process of individual identity assumes three disrespect forms: violation of body, denial of rights and insult (denigration and degradation of one's way of life); the historical process of social conflict and change can be explained in terms of inner moral logic of the mutual recognition relations.

在《为承认而斗争》中，霍耐特承认理论的"经典框架"得以形成：①主体间存在爱、法权、团结三种承认形式；②相应地，在个体同一性的发展中，强暴、剥夺权利和侮辱表现为三种蔑视形式；③从相互承认关系内在的道德逻辑，可以解释社会冲突和变革的历史过程。

The classical proposition logic is the basis of modern formal logic.

经典命题逻辑是现代形式逻辑的基础。

Ancient Hellas is the cradle of civilisation, the birthplace of democracy, the creator of both Tragedy and Comedy, the very definition of classical, the paragon of beauty and art and logic and pure science in western thought, the inventor of the Olympic Games, the essence of both philosophy and existentialism: in short, the fount of everything we have come to value in this world.

拙译： 古希腊是人类文明的摇篮，民主体系的诞生地，悲剧喜剧艺术的创造者，是经典的定义，是美学，艺术，逻辑，科学等西方思想的基础，是奥运会体育的发明者，也是哲学和存在主义的起源，总之，古希腊是现代世界价值体系每个方面的缔造者。

The instantaneity, instability and unpredictability of BF wall temperatures have stopped it from effective monitor control solely by Classical Cybernetics. To achieve this, it is needed to construct a model based on data analysis and fuzzy logic.

而炉体温度数据的瞬时性、不稳定性、无因性决定了经典控制论无法实现有效的监控，需结合数据分析和模糊逻辑进行建模。

On the model with reasonable isomorph suppose,a model-based diagnosis is used in program debbuging for logic errors,and compare this model to the other classical models on its advantages.

在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。

This book is a rigorous elementary introduction to classical predicate logic emphasizing that deduction is a form of computation.

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。

Syntactical completeness is only concerned with syntactics. The classical proposition logic systems with the rule of substitution are syntactical complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

Syntactical completeness is only concerned with syntactics. The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

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.

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