查询词典 propositional connective

extension principle of propositional logic：命题逻辑的外延性原理

extension of the residue field 剩余域的扩张 | extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理

extension theorem：扩张定理

extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理 | extensionality 外延

formula of computation：计算公式

formula language 公式语言 | formula of computation 计算公式 | formula of propositional logic 命题逻辑公式

formula of propositional logic：命题逻辑公式

formula of computation 计算公式 | formula of propositional logic 命题逻辑公式 | formulate 公式化

formulate：公式化

formula of propositional logic 命题逻辑公式 | formulate 公式化 | formulation 用公式表示

Fuzzy logic system：模糊逻辑系统

模糊命题逻辑:Fuzzy Propositional Logic | 模糊逻辑系统:Fuzzy logic system | 自适应模糊:adaptive fuzzy logic

minimal polynomial：极小多项式

minimal model 极小模型 | minimal polynomial 极小多项式 | minimal propositional calculus 极小命题演算

minimal propositional calculus：极小命题演算

minimal polynomial 极小多项式 | minimal propositional calculus 极小命题演算 | minimal solution 极小解

minimal solution：极小解

minimal propositional calculus 极小命题演算 | minimal solution 极小解 | minimal submanifold 极小子廖

propositional calculus：命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

butter：奶油

可能经常和"银行"(bank) ,"付款"(pay) ,"钱"(money) ,"写"(write)等同时使用,而 不大可能和"月亮"(moon) ,"奶油"(butter) ,"修理"(repair)等同时使用.再比如汉语"发扬"这个动词就只能同积极方面的词语搭配,

Ben Foster：班福斯特

属於幽闭空间科幻片的>片,由丹尼斯奎德(Dennis Quaid)和班福斯特(Ben Foster)领衔主演,越裔演员李康(Cung Le)在剧中也占有不少戏份. 剧情描述长期沉睡在太空船中的指挥官奎德和太空员福斯特,某天突然苏醒后,却发现太空船已遭废弃,