查询词典 predicate function

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

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

New according to predicate logic of the financial investement assistance decision system we do analysis and research.

现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Make a formal Description for agents living Environment by using predicate logic, and knowledge representation for agent.

3利用谓词逻辑对Agent的生存环境进行形式化描述，并对Agent进行知识表示。

This paper summarizes several decidabilities for predicate logic inference and several points for attention, which may help people in proof of such subjects.

本文总结了几种谓词逻辑推理的判定方法和注意事项，以帮助掌握证明题的证明。

Deductive database makes good use of predicate logic.

因为它有严格、系统的数理逻辑理论基础和较强的推理能力。

Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.

而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。

By "extended", it makes sense to propose two principles, one is the type re-arrangement principle and the other is logic predicate principle.

我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了类的重设原则；二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。

This notion is closely related to the notion of a predicate in formal logic, which includes more expressions than the former one, like, for example, nouns and some kinds of adjectives.

这一概念与形式逻辑学中的述语概念有紧密的关系。形式逻辑学中还包括了除述语以外的更多概念，如名词和一部分形容词。

Predicate Logic - Wikipedia, the free encyclopedia

谓词逻辑-维基百科，自由的百科全书

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。