论文部分内容阅读
该文证明了在 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)
其他文献
目的探讨小儿肺结核合并心力衰竭的观察治疗及护理。方法对我院54例小儿肺结核合并心力衰竭进行回顾性分析。结果所有患儿咳嗽，吼喘减轻，呼吸困难及口唇紫绀消失，能平卧，肺部哕音
中学几何的教学目的和内容一直是国内、外数学教育界关注的重点问题之一。由于对几何可以有不同的处理方法，比如说，可以用公理法处理，也可以用变换方法、集合论方法、向量方法等
患者,男,51岁,教师。“右侧胸痛伴痰中带血4天”入院。患者于4天前无明显诱因出现右侧胸痛,伴有咳嗽,咳痰,痰中带血,为鲜红色血痰,量不多,无发热,无胸闷及呼吸困难等症状。外
Ｎｕｒｂｓ曲线／曲面在反求参数上的数值不稳定性，是Ｎｕｒｂｓ曲线／曲面的致命缺点。该文介绍了用于参数曲线／曲面求交的活动仿射标架方法。基于ＭＡＦ方法的原理，提出了反求Ｎｕｒｂｓ曲线／曲面参数的一种新方法。该方
自动文摘研究作为自然语言处理研究的一个重要且实用的分支 ,目前逐渐成为 Internet信息检索等应用领域的重要研究课题之一 .该文提出的基于语料库的文摘试图将传统的基地语
班级管理是班主任的核心工作，班级管理的关键是要有减法意识，正所谓有所不为，方有所为。笔者结合自身工作的一些经验，尝试探讨了班级管理无为而治的一些策略。
乳腺癌大多发生于导管上皮，乳腺导管液直接来源于乳腺病变区域，势必是早期检出T0期乳腺癌不可多得的自然标本。本文旨在探讨乳腺导管液肿瘤标志物对于早期乳腺癌的诊断价值。现