查询词典 arithmetical predicate

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

A join is a Cartesian product of two row sets, with the join predicate applied as a filter to the result.

一个连接是两个行集的笛卡尔乘积，谓词连接作为一个过滤结果应用。

Thus the function of the categorical judgment is that of the relation of subject to predicate; for example,'All bodies are divisible'.

例如，直言判断的机能乃是主项与其述项的关系之机能；比如"凡物体都是可分割的"就是一例。

The traditional type is the categorical syllogism in which both premises and the conclusion are simple declarative statements that are constructed using only three simple terms between them, each term appearing twice (as a subject and as a predicate):"All men are mortal; no gods are mortal; therefore no men are gods."

从而无法提高解题的速度和精确程度。我现在把这段文字翻译如下：在逻辑学中，有效的演绎推理有两个前提和一个结论。传统的形式是直言三段论。在直言三段论中，两个前提和一个结论是简单的陈述，其构成仅仅包含三个项，每个项要出现两次，例如：所有的人都是要死的，神是不朽的，因此没有人是神。

The category and number of arguments in the semantic structure of sentences in modem Chinese are represented as follows: 1 Subject, which is composed of agent, causer, sensor, possessor, carrier 2 Object, which is composed of patient, factitive, position, undertaker, causee, phenomenon, involvement, attribute 3 Alternative participant, which is composed of recipientlsource, collaborator 4 Complement The predicate and the argument constitute the basic predication structure, which becomes an extended predication structure in the presence of an adverbial argument, which is an optional semantic constituent in the semantic structure.

为此，本文把现代汉语动词按其跟相关语义成分的依存关系首先分为动作动词、致使动词、心理动词、性状动词、关系动词5大类，以确定各主事动元的类别；第二层级按动核所带动元的数量，对各类动词进行下位分类，分别得出一元动词、二元动词、三元动词，以显示动核所带动元的数量：第三层级按动核所带动元的性质和数量把现代汉语动词分为24个基本类，以确定动元即必有语义成分的基本类别和数量。

Throws : If cloner or hasher throw or hash or equality predicate copying throws.

抛出： 如果 cloner 或 hasher 抛出或散列函数或相等性谓词的复制抛出。

Throws : If cloner throws or predicate copy assignment throws.

抛出： 如果 cloner 抛出或谓词复制赋值操作抛出。

"People" is a collective noun. It is singular in form, but takes a plural predicate verb.

"People"是一个集合名词，尽管形式上是单数，它必须与复数的谓语动词连用。

These policies were predicate d by Britain's decision to join the Common Market.

这些政策的制定是以英国决定加入共同市场为依据的。

And based on traditional graph coloring register allocation,a new algorithm to construct unified and simplified interference graph utilizing complementary predicate is presented,which can reduce spill code.

最后在YHFT-DSP/700芯片的编译器上对所提优化方法的有效性进行了验证。1引言指令级并行(ILP，Instruction Level Parallelism)一直以来都是编译领域的一个研究热点。

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。