predicate symbol
- predicate symbol的基本解释
-
-
[计] 谓词符号
- 相似词
- 更多 网络例句 与predicate symbol相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The apparatus further includes a quad-symbol mapper which quad-maps the systematic symbol streams to one symbol stream, a channel interleaver which independently interleaves the quad-mapped systematic symbol stream and the parity symbol streams, quad-demaps the quad-mapped systematic symbol stream, interlaces symbols in parity symbol streams, and serial-concatenates the quad-demapped systematic symbol stream to the interlaced parity symbol streams.
该设备还包括：四码元映射器，其将系统码元流四映射到一个码元流；信道交织器，其独立地交织四映射的系统码元流和奇偶码元流，对四映射的系统码元流进行四逆映射，交错奇偶码元流中的码元，并且将四逆映射的系统码元流串行连接为交错的奇偶码元流。
-
This chapter analyses how this idea comes out and how it changes with times in order to explore the cultural and symbolic meaning of the color. The white is not only symbol of white swan totem and symbol of saint, but also the proof for Kazak ancestor believing Shamanism and Zoroastrianism, the red is the symbol of sun and the sunshine, the blue is the symbol of god in heaven, the green is the symbol of life and spring, the black is the symbol of the great or grief, the yellow is the depressed color or nonlife, is hardly used for Kazakh tradition.
分析色彩观念的产生及衍变，并论述其文化象征意义——白不仅是图腾白天鹅的象征，是圣洁的象征也是哈萨克先民信仰萨满教、祆教的遗存；红色是太阳及其光辉的象征；蓝色是天界神灵的象征；绿色是生命和春天的象征；黑色象征强大或哀伤；黄色是苦闷的和没有生命力的颜色，也是哈萨克人传统上少用的颜色。
-
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.
另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。
- 更多网络解释 与predicate symbol相关的网络解释 [注：此内容来源于网络，仅供参考]
-
predicate symbol：谓词符号
PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,
-
predicate symbol：謂語符號
predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數
-
predicate symbol：述詞符號
述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use