论文部分内容阅读
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。
主范式的计算方法及其在命题公式中的作用
【摘 要】
：
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统
【机 构】
：
安徽建筑工业学院数理系,中国科学技术大学计算机科学与技术学院
【出 处】
：
宜春学院学报
【发表日期】
：
2011年04期
【基金项目】
：
安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)
其他文献
现代战争复杂的战场环境要求导弹能在目标干扰群中自动的识别出特定种类的目标,根据目标特性判别是否进行攻击。在防空导弹领域,谐波雷达导引头面对能够释放诱饵的空中目标,
军工数字制造网络安全漏洞分析存在漏洞信息难以获取、分析和验证耗时长而且精度低等问题,传统的企业信息安全漏洞分析、测试验证技术不能够完全解决该问题,所以提出了基于多
<正>拥有良好的心理素质,是学生健康成长和人格健全发展的重要指标。重庆市巴南区鱼洞第四小学校高度重视对学生的心理健康教育,把心理健康教育课程作为学校实施生命教育的重
英语课堂教学的导入环节至关重要，导入的历程是为新内容的出现搭桥、铺路的历程，是引发学生学习兴趣、诱发求知欲望，为新知识的学习做心理准备和知识准备的历程。要提高英语课教
《基础会计学》在独立学院的会计专业中是一门非常重要的基础学科,课程授课质量的好坏直接影响到学生后期的专业课程学习。但传统的会计教学已对学生产生吸引力。所以,本文以
废弃电器电子产品(Waste Electrical and Electronic Equipment,WEEE)的管理制度的核心是建立生产者责任延伸制度(Extended Producer Responsibility,EPR)。结合相关法律条例
诺基亚头顶的桂冠已经开始暗淡,为了维护品牌形象,诺基亚长久坚守在核心价值链的每一个环节亲力亲为、精工细做,借助无与伦比的物流系统,稳坐头把交椅。但是行业环境的变迁,
教师信念是影响教师教学实践活动的重要因素,对教师信念的概念、特征及其转变的研究在国际学术界正逐渐兴起。大量研究表明,转变教师的已有信念是非常困难的,但通过个人直接