查询词典 propositional variable
- 与 propositional variable 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.
许道云 ,董改芳,王健改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合。
-
53 The general propositional form is a variable.
4.53 一般的命题形式是变项。
-
127 The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.
4.127 命题变项标示形式概念,命题变项的值标示属于该形式概念的对象。
-
constant ; propositional variable ; generalized literal ;α-resolution field
文献[1]中给出的α-归结方法,是一种半可判定算法,能够归结出一类格值
- 推荐网络例句
-
Objective: To study the effect of polycythemia on blood oxygen saturation.
裴蕾目的:观察RBC剧增而引起的高粘血症对血氧饱和度的影响。
-
Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.
采用曲线坐标系下压力与速度耦合的SIMPLER算法,数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况,流动Re数的范围为10~1000,Pr数为0.7。
-
Such a traditional division of the zone of aeration is useful for illustrative purposes.
为了说明的目的,包气带的传统划分是有用的。