论文部分内容阅读
本文对一般形式的缺省理论进行了讨论，通过引入强相容缺省集概念，获得了缺省理论扩张存在的充分必要条件等重要结果，结果表明，缺省理论的扩张问题可以依据缺省集本身与初始公理作出判断，而不需要依赖于事先给定的闭公式集，最后，我们给出一实例，以示强相容集的构造方法。
扩张与强相容缺省集
【摘 要】
：
本文对一般形式的缺省理论进行了讨论，通过引入强相容缺省集概念，获得了缺省理论扩张存在的充分必要条件等重要结果，结果表明，缺省理论的扩张问题可以依据缺省集本身与初始公理作
【机 构】
：
贵州科学院数学研究室
【出 处】
：
计算机学报
【发表日期】
：
1994年2期
其他文献
笔者曾撰写过一篇《为什么养鸡养猪难赚钱》的文章，引起了很大的反响，有上千个养殖场的老板通过各种方式与笔者取得了联系表示赞同文章中所提及的一些观点。有的还亲自赶到公司
各省、自治区、直辖市、计划单列市饲料工业（行业）协会及相关单位：各级饲料工业（行业）协会是我国饲料行业管理的重要力量。近年来，在饲料行政主管部门的领导下，各级饲料工业协会以对
早期古希腊自然哲学从各个方面,以各种方式对宇宙生成问题进行了探讨。柏拉图在批判继承前人思想的基础上,以理念论为指导,强调灵魂的重要性,提出了模仿创世说,对宇宙结构进
目的对比观察双黄连粉针剂治疗上呼吸道感染的疗效和不良反应。方法将312例上呼吸道感染患者随机分成2组,A组用双黄连粉针剂治疗,B组用阿奇霉素注射液＋病毒唑注射液治疗,以5d
1饲料安全的定义和背景 所谓饲料安全．通常是指饲料产品（包括饲料和饲料添加剂）中不含有对饲养动物的健康造成实际危害，而且不会在畜产品中残留、蓄积和转移的有毒、有害物质或因
据新华网消息美国联邦储备委员会11月3日宣布推出第二轮定量宽松货币政策．到2011年6月底以前购买6000亿美元的美国长期国债．以进一步刺激美国经济复苏。
目的探讨经皮穿刺气管切开术的临床操作及特点。方法对重症监护病房的26例进行经皮穿刺气管切开包括术前准备、术中配合和术后护理。结果26例患者全部成功。讨论经皮空刺气管
2010年10月13—15日．首届亘泰营养国际论坛在上海成功举行．这对中国畜牧业及饲料业从业者来说都是一件要事．本刊记者在现场分别对论坛主办方代表亘泰实业集团总裁宋济生、美国&#
目的对比传统气胸治疗方法,评价电视胸腔镜技术早期干预自发性气胸的临床效果。方法选择156例自发性气胸患者,分为直接胸腔镜术组61例与胸穿及闭式引流后胸腔镜术组95例,评价