您要查找的是不是:
- In this paper, a new type of algebra is introduced, which is an algebraic abstract of MP(superscript M) system just as Boolean algebra is an algebraic abstract of two-valued propositional calculus. 本文通过在MP(上标M)系统上建立一个代数系统,对MP(上标M)系统进行了代数抽象,讨论了MP(上标M)系统的代数性质。
- MP(superscript M) is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database. 摘要MP(上标M)系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。
- As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. 命题演算是谓词演算的反面,运用尚未分机的简单命题而不是谓词来当成基本(原子)单元。
- A FORMULATION OF PROPOSITIONAL CALCULUS 命题演算的一种表述
- basic replacement theorem of propositional calculus 命题演算的基本置换定理
- propositional calculus form system 命题演算形式系统
- formal transformation of propositional calculus 命题演算的变形规则
- independence of the axiom of propositional calculus 命题演算公理的独立性
- rule of forming propositional calculus 命题演算的形成规则
- To the questions of propositional calculus on intuitionistic fuzzy logic (IFL), a synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed. 摘要针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
- Application of Wu's Method in Propositional Calculus 吴方法在命题逻辑中的应用
- completeness of axiom systems of propositional calculus 命题演算公理系统的完备性
- propositional calculus 命题演算
- minimal propositional calculus 极小命题演算
- propositional calculus system 命题演算系统
- Calculus is over the heads of most students. 微积分对大多数学生来说太难学了。
- He’s a simple propositional bet. 来下个赌如何?
- My calculus TA is a PhD student. 我的微积分助教是博士班的学生。
- NOTATIONS AND TERMINOLOGY OF TENSORIAL CALCULUS. 符号。张量计算的符号和术语。
- This is a problem where calculus won't help at all. 对于这一题,微积分一点也用不上。