- 更多网络例句与推理的导出规则相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Rough set theory is a mathematical method based on set theory,educing the rules ultimately.
粗糙集理论是一种基于集合论的归纳推理、最终导出规则，适用于处理不确定知识的数学方法。
- 更多网络解释与推理的导出规则相关的网络解释 [注：此内容来源于网络，仅供参考]
-
derivation：导出
它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.
-
derived graph：导出图
derived functor 导函子 | derived graph 导出图 | derived rule of inference 推理的导出规则
-
derived rule of inference：推理的导出规则
derived graph 导出图 | derived rule of inference 推理的导出规则 | derived series 导出列
-
inconsistent：矛盾的
在一个制式系统里,若由公理经推理规则之推导,可以导出互为矛盾的定理时,此系统称为矛盾的(inconsistent). 反之,若无以上之情形,则此系统称为一致的或是和谐的. 此条件是制式系统具有物理意义的基础. 制式系统的发勒甚早,可溯至欧氏几何.