查询词典 logic

The atoms can be combined into formulas, as is usual in first-order logic, with the logical operators ∧,∨ and, and we can use the existential quantifier and the universal quantifier to bind the variables.

同一阶逻辑一样，原子可用通过逻辑算子∧、∨和组合成公式，而且我们可以使用

In terms of the history of moral science, it was the logic development of hedonism of ancient Greek, modem Britain experientialism and french materialism of the 18th century.

从伦理学史上讲，是古希腊快乐论、近代英国经验论和18世纪法国唯物主义等思想发展的逻辑结论。

The conception of science progress comes from western philosophy of science exists two kinds of extreme view about the relationship between science development and science progress, one is "development equals to progress", take the example of logic experientialism; the other is "development has nothing to do with", take the example of Kuhn.

在科学发展与科学进步的关系上，西方科学哲学的科学进步观存在着两种片面的观点，一种观点以逻辑经验主义为代表，将发展与进步等同起来，"发展即进步"；另一种以社会历史学派为代表，将发展与进步对立起来。

This paper analyzed this problem historically, contrastively, and experientially. According to logic system that put forward question?

而要回答政府政策是否应该调整、应该如何调整这个问题，就应当对当前经济运行情况有一个清醒的认识。

Thirdly, in chapter 4, theoretical analysis for the method of knowledge acquirement, the method of knowledge denotation, the method of knowledge inference, the method of knowledge explainer during the course of building fault diagnosis expert system of elevator controller.Fourthly, in chapter 5, theoretical analysis for the function of database in the fault diagnosis expert system, and the course of database logic design, then built the table by E-R model of RDBMS.

通过对数据库系统的功能分析和逻辑分，用关系型数据库的ER模型建立了电梯控制系统各实体之间的关系，建立了关系数据库；接着讲述了对该数据库的管理和维护。

The developing work of ASP service platform included the model construction of service platform, the design of downstage Web service system and background management system for the reality of combining the Citrix applied server technology and scheme with ASP thought, the conformity and design of operation flow and expressible logic with developing tools Dreamweaver MX and VBScript etc., setting up the background database system and so on.

ASP服务平台的开发工作主要包括服务平台的模型建立、设计前台Web服务系统和后台管理系统来实现Citrix应用服务器技术及方案与ASP理念的结合、应用Dreamweaver MX和VBScript等开发工具进行业务流程和表达逻辑的整合和设计及采用SQL Server2000建立后台数据库系统等方面。

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

We try to expurgate the concept, and furthermore, put forward "inside world" parameter, and indicate that it should be in the frame of intensional logic to describe Chinese quasi-contradictory sentences.

高阶类论语言中形容词的逻辑类型描写不一致，本文从汉语似矛盾句实例出发，联系预设因素，尝试统一形容词的逻辑类型描写。

The problem of stabilizing networked PI control systems with fuzzy logic compensation is studied by applying the extension of the Hermite-Biehler theorem to the quasi-polynomial stability problem.

该方法的优点是可利用现有的确定性系统的设计方法设计控制器，缺点是由于缓冲区将时滞都转化成最大时滞，降低了系统应有

The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。