论文部分内容阅读
本文给出开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质。通过给定一假说中名子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子。
开放逻辑中的合理事实反驳模型类
【摘 要】
：
本文给出开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质。通过给定一假说中名子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一
【机 构】
：
南京大学数学系
【出 处】
：
计算机学报
【发表日期】
：
1994年5期
【基金项目】
：
国家863高科技计划资助,江苏省自然科学基金
其他文献
信息技术是公司提高办公效率、提升管理水平的一个有力手段。一个结构合理、安全可靠的多业务信息网络平台是企业信息化建设可持续健康发展的前提和保障。保证信息网络的、安
全国十多个省区的部分人口与劳动力向长山群岛聚集,主要是地区经济发展不平衡以及某些人文因素所造成。长山群岛人均收入水平高,是人口与劳力聚集的主要原因,是当地产业结构
如同任何一个合格的建筑工程必须和城市的总体规期要求相符合。决不允许私搭乱建一样。信息系统建设也必须着眼手企业全局．进行通盘考虑和统一部署。避免低水平的重复开发，信息
企业内部控制既要适应社会信息化发展的要求，适应企业自身发展的内在要求，更要适应经济全球化发展的客观要求。因此．在新的时代背景下．企业内部控制必将发生深刻明显的变化．有许多
2002年、人类基因图谱破译，引起了世人的普遍关注。这一世人瞩目的“生命科学登月计划”工程庞大，基因密码的破译极端繁琐，需要大量的计算能力作为支撑。而作为该计划核心IT平台
用多机系统进行并行仿真是解决大规模连续系统实时仿真问题的有效途径。多机并行仿真中关键要解决的问题，是如何有效地将一个仿真任务分配到多机系统上并发执行，并获得高的加速
本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑。一个缺省理论可以直接转换成一个相信逻辑理论，本文中证明了一个缺省理论外延的模集就是对
【正】 导言根据学科定义,经济学和地理学都关心农业活动的本质,经济学家因它创造财富,地理学家因地球表面对它的贡献。非地理学家关心农村地区广泛使用农学家和农业经济学家
从本质上说，电力企业的信息系统整合与其他企业是一致的，都需要在保护投资的基础上建立新系统，快速响应业务需求。实施SOA（面向服务的架构）可以充分利用现有的IT资产，通过将现有应