论文部分内容阅读
本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand解释范畴C_(HB),范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。
Horn逻辑上的范畴等价及方法推广
【摘 要】
：
本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand解释范畴C_(HB),范畴等价可以描述作用于理
【机 构】
：
国防科技大学长沙410073
【出 处】
：
软件学报
【发表日期】
：
1993年3期
其他文献
我科自2002年1月～2004年6月住院的60例COPD患者，男42例，女18例；年龄46—83岁，平均66岁；病程5～33年。均有不同程度慢性咳嗽、胸闷、气喘和排痰困难。60例患者在常规治疗护理的同时，给
1983年9月、1985年1月,我县相继被确定为“初级卫生保健示范县”和“妇幼卫生示范县”以来,我们结合我县的实际情况,积极推进初级卫生保健,重点抓了以下几项工作,促进了全县
一、目的和意义 1.根据党中央,国务院(86)22号文件精神,改革农村卫生体制,为实现2000年人人享有初级卫生保健这一战略目标奠定基础,特拟定农村医疗健康保健保险制度试行办法
目的探讨风险管理在护理管理中的应用效果。方法2007年1月至今在我科实施风险管理，包括成立风险管理小组，制定防范措施，建立风险管理呈报系统，加强护理风险监控，避免事件发生，强化
1990年全国初级卫生保健合作中心、试点县工作会议今天就要结束了。这次会议的主要目的是对全国初级卫生保健试点工作进行中期评价和经验交流,并根据总体评价结果和前一阶段
目的应用置管引流联合局部化疗的方法治疗肺癌晚期并恶性胸腔积液，并对其疗效全面评价。方法经胸腔穿刺套管针将多用引流导管送入胸腔后连接改制的一次性输液器连接引流带引流
培养教师良好的职业道德，是学校教师队伍建设的重要任务，也是确保党的教育方针贯彻落实和全面提高教育教学质量的客观需要。西藏警官高等专科学校担负着培养西藏公安人才的重任
目的探讨早期大剂量盐酸氨溴索联合持续正压通气（CPAP）治疗新生儿胎粪吸人综合症（MAS）的临床价值。方法选取2004年10月至2009年2月收住我院NICU确诊MAS47例作为研究对象。随机分