谓词演算
- 与 谓词演算 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
existential quantifier
存在量词 IN FOPC(一阶谓词演算)
61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划
-
extended predicate calculus
广义谓词演算
extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设
-
functional calculus
{基}谓词演算;函数运算法
泛数平均法 functional averaging method | {基}谓词演算;函数运算法 functional calculus | 函数的上积 functional cup product
-
predicate calculus, functional calculus
谓词演算
谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus | 温莎平均|Winsorized mean
-
logical variable
逻辑变量 IN FOPC(一阶谓词演算)
115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答
-
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)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
unary predicate calculus
单谓词演算
unary operator 単項演算子 | unary predicate calculus 单谓词演算 | unary system 一元系统
-
predicate logic
谓词演算
predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray