论文部分内容阅读
在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的的张推理：增加条件Ｘ，使前提ＡＷ能演绎出结论Ｓ，即Ｘ∧Ａ→Ｓ；以及哈密顿回路判定问题。
在01集上的扩张类比
【摘 要】
：
在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的的张推理：增加条件Ｘ，使前提ＡＷ能演绎出结论Ｓ，即Ｘ∧Ａ→Ｓ；以及哈密顿回路判定问题。
【机 构】
：
厦门大学计算机科学系
【出 处】
：
厦门大学学报：自然科学版
【发表日期】
：
1997年3期
其他文献
提高农村信用社经营效益对策●蒙美禄孙恒保在金融活动中，经营效益是关系全局的中心，可以说是一切经营行为的出发点也是归宿点。近几年来，农村信用社经营连年亏损，经营包袱越背越
当前,随着改革的深入、对外开放深度与广度的加强,特区拥有超前开放的时机优势已不存在,要保持特区发展的良好势头,就必须在继续坚持改革开放,实行特殊政策和灵活措施的基础
目的探讨在剖宫产手术中采用腰麻联合麻醉的应用效果。方法选择2014年7月~2016年3月我院收治的行剖宫产手术患者136例为研究对象。随机分为观察组和对照组,各68例。给予对照
探讨铁蛋白反应器在模拟流动海水体系中储存有毒金属离子的能力及规律，在体外，脱铁核铁蛋白能重新构建新的铁核且核中多数铁组分经含有５％氯化钠的海水处理后仍可稳定于蛋白壳中，只
目的 探讨小切口甲状腺切除术治疗甲状腺结节的疗效。方法 选取2014年1月-2016年1月我院收治的甲状腺结节患者108例作为研究对象,将其随机分成试验组和对照组,各54例。对照组
应用量子化学从头计算方法研究了激光等离子体反应生成的非晶团簇ＣｏｎＰ＾＋ｍ，ＮｉＰ＾＋ｍ。考查和分析了几何构型及稳定性。ＣｏｎＰ＾＋ｍ有两条生长螺线；１）从ｍ＝４到ｍ＝８，构型变化为四边形－三角双锥畸变八面体－双四面体；２）从ｍ＝７到ｍ＝１１，构型
目的：探讨疏血通联合阿司匹林治疗脑梗塞的疗效。方法选择我院2012年2月～2015年12月收治的脑梗塞患者200例作为研究对象，随机将其分为观察组和对照组，各100例，观察组给予疏血通6 m
在Ｍｏ／ＨＺＳＭ－５基甲烷非氧化脱氢芳构化催化剂中加入促进剂ＺｎＳＯ４，使该催化剂的活性和操作稳定性大为改善．对非促进的Ｍｏ／ＨＺＳＭ－５和促进型的Ｍｏ－ＺｎＳＯ４／ＨＺＳＭ－５甲烷芳构化催化剂的ＮＨ３－ＴＰＤ研究结果表明，促进剂ＺｎＳＯ４的加入大大提高了催化剂表面
目的探讨交锁髓内钉与锁定钢板治疗股骨干骨折的疗效比较。方法选取我院2014年8月～2015年6月收治的股骨干骨折患者92例,按照内固定方式的不同分为I组45例和II组47例。I组给予