查询词典 predicate calculus
- 与 predicate calculus 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
predicate calculus:谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
restricted predicate calculus:狭谓词演算
restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化
-
monadic predicate calculus:一元谓词运算
一元的 monadic | 一元谓词运算 monadic predicate calculus | 首一方程 monic equation
-
unary predicate calculus:单谓词演算
unary operator 単項演算子 | unary predicate calculus 单谓词演算 | unary system 一元系统
-
unary predicate calculus:单述词演算
一元运算子 unary operator | 单述词演算 unary predicate calculus | 单元限制零边林美耳系统 unary restricted zerosided Lindenmayer system,U0L
-
second predicate calculus:第二阶述词演算
第二部分乘积 second partial product | 第二阶述词演算 second predicate calculus | 次要机率分布 second probability distribution
-
restricted primal problem:设限的原问题
狭谓词演算 restricted predicate calculus | 设限的原问题 restricted primal problem | 设限三体问题 restricted problem of three bodies
-
pure predicate calculus of first order:一阶纯谓词演算
pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论
-
pure set theory:一般集合论
pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论 | pure state 纯状态
-
restricted randomization:限制随机化
restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化 | restriction 限制
- 相关中文对照歌词
- U + Me = Us (Calculus)
- Predicate Rap
- U + Me = Us (Calculus) (Dream Maker Club Mix)
- Maybe I Don't Wanna
- Fabulous Ones
- Release Part 1,2 & 3
- Sweeney Song
- Party Song
- 9x's Outta 10
- The Hitchhiker
- 推荐网络解释
-
the bird of wonder:凤凰;长生鸟
the bird of peace鸽子 | the bird of prey 猛禽 | the bird of wonder凤凰;长生鸟
-
flange rail:平底轨条
"凸缘皮带轮","flange pulley" | "平底轨条","flange rail" | "凸缘肋","flange rib"
-
cerebral infarction:脑缺血
注意缺陷多动:prefrontal cortex | 脑缺血:Cerebral infarction | 脑缺血:cerebral ischemia.