查询词典 restricted predicate calculus

The former, as adding nothing through the predicate to the concept of the subject, but merely breaking it up into those constituent concepts that have all along been thought in it, although confusedly, can also be entitled explicative.

前者并没有添加新的概念给主语，而只是阐明早已包含在主语概念中的组成类概念，也可以称为解释性质的判断。

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.

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

In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。

A gerund has the of a noun, but a present participle is used as part of a predicate verb or as an adjective.

动名词有名词的作用，但现在分词或用作谓语动词的一部分，或用作形容词。

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，并在其中引入了一阶谓词逻辑和带动作的非确定的有限状态自动机。

This paper deals with the background of the celebrated Goodman s new riddle of induction and the logic and semantics of predicate grue .

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

The noun can be the predicate directly, this is one of the main differences between Chinese and Indo-european languages.

名词可以直接做谓语，这是汉语和印欧语言的主要差别之一。

Instructions can be prefixed with the name of one of the predicate registers, and the CPU will only execute the instruction if the register equals True.

即只有相应的断言寄存器中值为"真"时CPU才会执行指令，不然CPU就执行一条

We are forbidden from giving money to these shoeless, skinny children, as this will perpetuate begging.

向光着脚，骨瘦如柴的孩子施舍是不可以的，因为要招来无休无止的乞讨。

It would be hard not to fall victim to some sharpeyed policeman.

要想不被某个目光锐利的警察抓到，谈何容易。