查询词典 predicate logic
- 与 predicate logic 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
pure point spectrum:纯离散谱
pure mathematics 抽象数学 | pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算
-
PSR possessor:(持有者)
PRD predicate ( 谓语动词) | PSR possessor ( 持有者) | PSE possessee ( 被持有)
-
predecessor function:前钳数
predecessor 前趋 | predecessor function 前钳数 | predicate 谓词
-
predicant:传道的
predicament 困境 | predicant 传道的 | predicate adjective 表语形容词
-
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
- 相关中文对照歌词
- Saturday (Skit)
- Relatives
- Autologic
- UK Jamaican
- Give It To Me
- Sell Out Records (Skit)
- Predicate Rap
- Just Another Day (In My Mind)
- Highs & Lows
- Drinkin' Songs And Other Logic
- 推荐网络解释
-
White Mustard Seed Extract:白芥子提取物
Cherokee rose fruit extract 金樱子提取物 | White Mustard Seed Extract白芥子提取物 | Chinese Dodder Seed Extract 菟丝子提取物
-
snowstorm warning:暴风雪警告
28. weather report 天气报告 | 29. snowstorm warning 暴风雪警告 | 1. shake(名词)_______
-
overcompensating desk of his,and we told him to make a choice:[大的过分的办公桌前 要他做个选择]
She wasn't going anywhereon her own. [她自己是绝不会自动退出的] | overcompensating desk of his,and we told him to make a choice. [大的过分的办公桌前 要他做个选择] | Who'd he choose? [他选了谁?]