查询词典 predicate variable

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.

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

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

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 若在黑夜行走，就必碰跌，因为那光不在他里面。