- 更多网络例句与谓词符号相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Some of the safe mobile codes may be rejected to execute, since there is no way to verify statically that the symbol range value of an array subscript expression in PCC.
PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围，而造成拒绝执行一些安全的移动代码等问题。本文给出的一种数组边界检查的优化及生成算法，不仅能够比较好地解决了这一问题，同时还生成了循环不变式注解中的条件谓词。
-
In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。
-
We adopt concurrency method, and use the knowledge of the number theory, such as the Legendre symbol and the the congruence equation to construct some families of the opaque predicates that are suit for Java program.
采用并发方法，用勒让德符号和同余方程等数论知识构造了适合混淆Java程序的不透明谓词簇。
-
In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩.
在谓词演算中，一种连接二个合式公式的连接符，用符号∧或∩表示。
-
So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.
在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。
-
In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...
在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。
- 更多网络解释与谓词符号相关的网络解释 [注：此内容来源于网络，仅供参考]
-
existential quantifier：存在量词
对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.
-
predicate calculus：谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
predicate logic：谓词演算
predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号
-
predicate symbol：谓词符号
PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,
-
predicate variable：谓词变项
predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律
-
predicate variable：谓词变量
谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol
-
universal quantifier：全称量词
对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.