查询词典 predicate variable
- 与 predicate variable 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.
另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。
-
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
在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义
-
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元。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。