查询词典 propositional variable

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开发,

partial propositional calculus：部分命题演算

部分[乘]积 partial products | 部分命题演算 partial propositional calculus | 部分商 partial quotient

basic propositional function：基本命题函数

basic proposition 基礎命題 | basic propositional function 基本命题函数 | basic protein 碱性蛋白

antixerophthalmic factor：抗干眼因子

抗维生素 antivitamin | 抗干眼因子 antixerophthalmic factor | 抗干眼维生素 antixerophthalmic vitamin

January January：是一月, 一月January有新年

January, January是一月, 一月January有新年; | February, February是二月, 二月February有春节; | March , March是三月, 三月March 妇女节;