查询词典 restricted predicate calculus

For example, with P (3,2) recorded a predicate variable, can be expressed as three great ...

例如用P（3，2）记一个谓词变项，可以表示3 大。。。

The example below declares a local variable predicate of a delegate type that takes a Customer and returns bool.

下面的例子声明了一个局部变量谓词委托类型，可以对一个客户并返回布尔。

Predicate variable - Wikipedia, the free encyclopedia

谓词变量-维基百科，自由的百科全书

By analyzing the tested program, this paper presents the balance force method of test data generation, according to an input of the program, decide to remove variable scope and variable in the predicate processed with function minimum, an example is given in this paper.

文章通过对被测试程序的分析，提出了生成测试数据的平衡力法，对任意的输入变量，判断变量移动范围及进行谓词中变量的函数极小化，得到测试数据，并给出了具体实现方法。

The combination of the measured real time state acquisition from the process with predictive process for the fature state is used to predicate the variable tendency for process state.

实时控制专家系统要求在获得tk时刻数据后，实时给出被控过程的实时状态和最佳控制操作。

Our result show that severity of illness, measured by blood and plasma fee and accompany medical disease, was the most significant variable to predicate the grand total medical expenses.

在经CART分为15个同质性医疗费用相似之子群，而综观总医疗费用，可发现费用最高可达306，478元，最低为15，495元。

I can predicate that this is real.

我断定这是真实的。

What's a predicate you say.

什么是谓词你说。

In theory, it should be possible, to transform a predicate

从理论上讲，它应该有可能，转变谓词

We predicate the motive to be good.

我们断言这个动机是好的。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。