predicate variable

predicate variable的基本解释

-

[计] 谓词变项

与predicate variable相关的网络例句 [注：此内容来源于网络，仅供参考]

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

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

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

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

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.

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

与predicate variable相关的网络解释 [注：此内容来源于网络，仅供参考]

predicate variable：谓词变项

predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律

predicate variable：谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

predicate variable：谓词变元

谓词|predicate | 谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus

predicate variable：述語變數

predicate calculus 述詞演算 | predicate variable 述語變數 | statemental conversion 述辭位換