查询词典 predicate logic

The foundation education is changed direction the basic purpose of"education for all-round development" by"should try an education" to want intelligence at the child to develop a stage to come out their intelligences development with maximum limit, but the high school logic learn teaching to the foundation educate in of the intelligence development has important influence decision a function, so, as soon as possible become is suitable for high school logic in Yunnan to learn the school of teaching this a course to become each high school logic to learn the problem that the worker should value.

基础教育由&应试教育&转向&素质教育&根本目的是要在儿童智力发展阶段最大限度地把他们的智能开发出来，而高校逻辑学教学对基础教育中的智能开发有重要的影响决定作用，所以，尽快形成适合云南高校逻辑学教学的校本课程成为每一个高校逻辑学工作者应该重视的问题。

Fuzzy logic can deal with values between 0 and 1 is more analogous to human logic than the traditional binary logic of digital computers.

模糊逻辑可处理0与1间的数值；与传统的数字电脑的二进制逻辑比较，它更似人脑的逻辑推理。

When we operate all accessing databases in encapsulation at Data Access Layer by ActiveX DLL packages (DAL layer, Namely data access layer),and operate all business logic or transaction processings in encapsulations at Business Logic Layer ( BLL layer, namely business logic layer), ASP dynamic webpages are offered to the interface of user for Presentation Layer ( PL layer, Namely present layer).

使用ActiveX DLL组件将对数据库的存取操作全部封装在Data Access Layer层（简称DAL层，即数据存取层），将商业逻辑或事务处理全部封装在Business Logic Layer层（简称BLL层，即商业逻辑层），提供给使用者的界面就是Presentation Layer层的ASP动态网页。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生说它是非常有用的。

The second part analyzes the formal language of knowledge predicate logic.

第二部分：分析知道谓词逻辑的形式语言。

Formal theories such as predicate logic provides us with a powerful tool to guarantee sound reasoning and thinking.

以前的理论比如谓项逻辑学提供了一种合理的推理和思考的工具。

This language integrates and expands GDMO and GRM, and the first-order predicate logic and non-deterministic finite state machine with action are introduced into it.

该语言综合并扩展了GDMO和GRM，并在其中引入了一阶谓词逻辑和带动作的非确定的有限状态自动机。

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。