查询词典 predicate calculus
- 与 predicate calculus 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
extended predicate calculus:广义谓词演算
extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设
-
predicate calculus, functional calculus:谓词演算
谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus | 温莎平均|Winsorized mean
-
predicate calculus logic:述詞演算邏輯
述詞演算 predicate calculus | 述詞演算邏輯 predicate calculus logic | 述詞轉換器 predicate converter
-
one place predicate calculus:一元谓词演算
one place number 单位数 | one place predicate calculus 一元谓词演算 | one point compactification 单点紧化
-
predicate calculus of the third order:三阶谓词演算
predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算
-
predicate calculus with identity:带恒等式的谓词演算
predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数
-
predicate calculus:谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
predicate calculus:述词计算
predicate 述词 | predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑]
-
predicate calculus:述詞演算
predicate phrase adverbial 述詞組狀語 | predicate calculus 述詞演算 | predicate variable 述語變數
-
restricted predicate calculus:狭谓词演算
restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化
- 推荐网络解释
-
barehanded fighting:徒手格斗
最輕量級 bantamweight | 徒手格斗 barehanded fighting | 基本防守動作 basic defense movement
-
The Unsaid:生死真相
PRETTY WOMAN 风月俏佳人 | THE UNSAID 生死真相 | FULL METAL JACKET 全金属外壳
-
planting stick:栽植标桩
planting spade ==> 移植铲 | planting stick ==> 栽植标桩 | planting stock ==> 栽植材料,定植苗木