查询词典 first order

So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language.

所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。

But what weve found is that apart from the agents mechanisms, which has been in eiffel now for a number of years, theres really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用 eiffel 中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和 there exists 操作符。

Also, first-order predicate calculus isnt good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

But what we've found is that apart from the agents mechanisms, which has been in Eiffel now for a number of years, there's really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用Eiffel中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和there exists操作符。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

In the first-order logic, predicate variable is said of a relationship between the predicate letters, this relationship has not been assigned to any particular special relationship or meaning

在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义

But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.

不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。

F In principle, the prelate of the First Order is without authority over the nuns.

在原则上，总主教的第一个命令是没有权力修女。

First order sea echo, which contain the information of ocean surface current, is firstly separated from sea echo through prepossessing. MUSIC is then applied to extract the bearings of the signals at every Bragg shift.

该算法首先通过预处理从海洋回波中分离包含海流信息的一阶回波，然后针对其中可分辨的每一个Doppler频移上的信号，采用MUSIC算法求其多个存在方位。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。