论文部分内容阅读
本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF单元反驳的关系,以及RUE-NRF锁反驳的完备性。更多还原
自动定理证明中RUE—NRF单元输入和锁的演绎
【摘 要】
：
本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF单元反驳的关系,以及RUE-NRF锁反驳的完备性
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1989年2期
其他文献
小班化背景下“初中历史学、议、导、练教学模式”是笔者近年来不断探索与实践着的一种新的教学模式.它以新课程理念为指导,以培养学生综合素质和创新能力为目的,追求“学习
在小学数学的教学过程中，知识点的掌握是从简单到复杂，从容易到困难的，所以对于小学生来说，常常会产生畏难情绪。新课程标准倡导“以学生发展为本”的基本教育理念，数字故事在小学
在新常态下，学生的学习压力越来越大，如何才能实现学生的高质量学习是摆在教师面前的主要问题之一。现在的学生，不管是小学生、初中生还是高中生，每天上学都像打仗一样，用时下最时
以各种地震资料的分析解释、构造解析为基础，对燕山期渤海湾盆地区构造特征与盆地转型过程进行了研究．结果表明：燕山早期渤海湾盆地区以挤压褶皱及逆冲断裂发育为主，在太行山以东
提问是课堂教学中普遍存在的一种教学方法，在一个好的时机里提出的恰当的问题能够引导学生进行创造性思维，帮助学生提高利用信息解决问题的能力，同时也能让教师能够根据学生的反
患者均为男性。于1～10岁起病,呈进行性加重的四肢肌无力,可伴有腓肠肌的假性肥大、发硬,逐渐加重致完全丧失活动能力、卧床不起,直至全身衰竭,因心衰或其它并发症死亡。现将我
裂缝是砾岩体油气藏重要渗流通道．对裂缝分布规律及发育特征的正确识别，是砾岩体油气藏勘探开发成功的关键．大兴断层下降盘砾岩体裂缝储层天然气蕴藏量丰富、勘探评价潜力大．但储
激光诱导击穿光谱（LIBS）技术是一种新兴的元素分析技术,但自吸收效应对LIBS测量的影响较大。文中利用Nd：YAG激光器产生的基频1 064nm脉冲激光在空气中击穿镍靶产生等离子体,观测
本文给出了简并态微扰论的递推形式，在微扰计算收敛的情况下，利用该方法可以逐级计算到微扰论的任意级近似，在给定精度下可得到与精确解一致的结果。