论文部分内容阅读
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.
命题逻辑中推理理论的数字形式
【摘 要】
：
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.
【机 构】
：
首钢工学院100041
【出 处】
：
北方工业大学学报
【发表日期】
：
2002年3期
其他文献
本文将以我国农村政权治理结构现状为基点,分别从历史比较、社会现状、经济反省等角度分析了乡镇政权存在的不合理性,从而论述了改革我国乡镇统治型体制的必要性、合理性和可
冬季人们喜欢吃火锅，而火锅吃多了容易上火。在吃火锅时，在汤中倒人适量的啤酒，可使汤汁略带醇香，更加鲜美可口。同时，因啤酒中含有大量的维生素，可缓解因吃火锅而上火。吃火锅配饮
肌萎缩性侧索硬化症（amyotrpniclateral sclerosis，ALS），又称卢伽雷氏症（LouCehrigsdisease），是一种不可逆的致死性运动神经元退化性疾病。病变主要侵犯脊髓前角、脑干和额叶皮质运
随着我国市场经济的不断完善,职业教育也一直在试图从传统的应试教育中走出来,寻求一种更能适合职业教育本身特点的教育教学方法,力求使从职业教育学校走出的学生能更好地适
以图像信息安全问题为研究背景,考虑了四维Arnold变换和n维Arnold变换的周期性,给出了周期的上界估值定理.
介绍了套期保值理论的发展概况,将套期保值理论应用于股指期货标的指数的评价模型中,导出了不同套期保值战略情况下的最佳套期保值数量及套期保值效率、套期保值成本的统计指
从分析证券行业当前的现状出发,在充分考虑用户需求的前提下,着眼于从提升系统整体性能的角度去设计和实现整个网上集中交易系统,采用了当前业界最先进的J2EE技术和中间件技
专业建设问题,是高等职业技术教育中十分重要而关键的问题.高等职业技术教育必须适应社会需要与市场需求开设各类专业,努力形成专业调整与建设、新专业开发与储备的可持续发