查询词典 predicate

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.

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

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 operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。