查询词典 predicate function

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

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

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就执行一条

I shall be arguing that this is a mistake, and that predicate dualism – the failure of reduction – is a threat to physicalism because the irreducibility of the special sciences in general implies that the mind is not an integral part of the physical realm with which those sciences deal.

我将指出这是错的，述谓二元论是物理主义的一个威胁，因为一般来说'科学的非还原性'蕴涵'心灵不是这些科学所需要处理的物理领域的一个部分'。

I shall be arguing that this is a mistake, and that predicate dualism–the failure of reduction–is a threat to physicalism because the irreducibility of the special sciences in general implies that the mind is not an integral part of the physical realm with which those sciences deal.

我将论述这种观点是不正确的，这种谓词二元论对于物理主义是一种威胁，因为特殊科学的还原性通常暗含着心灵不是由科学处理的物理领域的重要组成部分。

An english sentence must have a subject and a predicate. this is a rule agreed on by all the english speakers. this is part of the langue.

一个英语句子必须具有主语和谓语，这是所有英语使用者都认同的一条规则，这就是所谓语言中的一种现象。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。