论文部分内容阅读
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商
Rwtt／Mwtt中的枝点元素
【摘 要】
：
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归
【出 处】
：
软件学报
【发表日期】
：
2000年4期
【基金项目】
：
This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ,,No.6 96 730 17)
其他文献
中学几何的教学目的和内容一直是国内、外数学教育界关注的重点问题之一。由于对几何可以有不同的处理方法，比如说，可以用公理法处理，也可以用变换方法、集合论方法、向量方法等
自动文摘研究作为自然语言处理研究的一个重要且实用的分支 ,目前逐渐成为 Internet信息检索等应用领域的重要研究课题之一 .该文提出的基于语料库的文摘试图将传统的基地语
乳腺癌大多发生于导管上皮，乳腺导管液直接来源于乳腺病变区域，势必是早期检出T0期乳腺癌不可多得的自然标本。本文旨在探讨乳腺导管液肿瘤标志物对于早期乳腺癌的诊断价值。现