命题演算
- 与 命题演算 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
propositional calculus
命题演算(又称"命题 辑
propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词
-
sentential calculus
命题演算
sentence 命题 | sentential calculus 命题演算 | sentential connective 命题联结词
-
sentential calculus
命题演算;语句演算
命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable
-
static friction
静磨擦
statement calculus 命题演算 | static friction 静磨擦 | statics 静力学
-
propositional algebra
命题代数
proposition 命题 | propositional algebra 命题代数 | propositional calculus 命题演算
-
propositional calculus
命题演算
关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,
-
propositional connective
命题联结词
propositional calculus 命题演算 | propositional connective 命题联结词 | propositional function 命题函数
-
propositional connective
命题 结词
propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词 | propositional constant 命题常元,命题常项
-
propositional function
命题函词;命题函数
命题演算 propositional calculus | 命题函词;命题函数 propositional function | 命题推演 propositional inference
-
propositional inference
命题推演
propositional calculus 命题演算 | propositional inference 命题推演 | protractor 量角器
- 推荐网络解释
-
omphalos：圆锥形石
omphalos 浮饰 | omphalos 圆锥形石 | omphalosite 脐营养畸胎
-
Monica Bellucci：莫妮卡.贝鲁齐
NO.1 莫妮卡-贝鲁齐(Monica Bellucci)赵薇就是那种属于典型的易胖的女孩子,似乎还没有摆脱婴儿肥那个阶段. 据她本人透露,其已经疯狂减肥瘦了十几斤. 而她快速减肥的妙招很简单,就是运动--每天都快步走. 看似非常简单的瘦身方法往往也是最有效的减肥方法,
-
knotwork：编结物;打结产品
establishment expense 企业费用 | knotwork 编结物;打结产品 | sleek line 柔美型