论文部分内容阅读
本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简便实用的方法。
利用重写系统研究缺省逻辑
【摘 要】
：
本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年5期
【基金项目】
：
国家自然科学基金
其他文献
玉米等谷物是畜禽主要的能量饲料来源。近几年来．玉米等谷物饲料价格上涨和供应紧张对畜牧业的发展造成了严重的影响。为了适应这一新的形势．保证畜牧业的可持续发展．国内外对用
我国饲料产品价格继续小幅上涨。育肥猪配合饲料、肉鸡配合饲料和蛋鸡配合饲料价格分别为2．77、2．91和2．65元/kg，分别比上个月上涨0．4％、0.3％和0．4％，同比分别上涨5．7％、4．6％和5.3％（图1和图2）。
本文是文献［１］的续篇，专门论ＰＲＮＳ数母乘法和除法算法，重点介绍宏系数分解法和差方法原理及两种可能的数母乘法器结构方案以及无需移位的除法算法。
随着功能性氨基酸研究的进一步深入．作为精氨酸合成前体的脯氨酸在猪营养方面的作用引起越来越多学者的重视。在传统营养学中．人们只重视必需氨基酸在动物营养中的作用．随着对氨
通过对建筑工程招投标阶段存在的问题和现状进行分析,提出了科学合理、更为适用且符合规定的招投标方法与措施,不仅确保了招投标工作的顺利开展,还在中标单位保证建筑工程质
京华时报记者从河北大午农牧集团得到的消息．由新希望集团和大午集团共同出资的大型商品猪养殖项目新希望大午农牧有限公司日前成立．该项目总投资预计为2.25亿元，建成后年产值将
通过体外法研究不同水平的甘露寡糖（0、0．8％、1．0％及1．2％）对锦江黄牛瘤胃微生物发酵功能的影响。结果表明：Et粮中添加甘露寡糖可以显著提高培养液中微生物蛋白（MCP）含量（P〈0．05）：可以降低培
谣传是信息网络中结点之间的一种常见的、重要的信息交换方式，在谣传过程中，每一个结点都得到ｋ个结点的信息，这个概念在计算机网络及其它信息、通信网络的设计中有着重要的意义，本
目的探讨产时宫颈封闭及充分休息软化宫颈对处理宫颈水肿的临床观察。方法选取2006年11月至2007年10月我院分娩产妇中,抽取150例宫颈水肿孕妇,随机取50例用利多卡因封闭宫颈