查询词典 predicate

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.

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

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了