论文部分内容阅读
以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。
计算逻辑中的波动策略
【摘 要】
：
以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。
【机 构】
：
武汉大学计算机科学系,武汉大学计算机科学系,430072,武汉,430072
【出 处】
：
武汉大学学报：自然科学版
【发表日期】
：
1996年1期
其他文献
一、阜蒙县花生发展状况阜蒙县位于辽宁省西北部。属风沙半干旱地区。土壤有机质含量不足1％，无霜期150天左右，平均降水量为500毫米左右。阜蒙县土地多为丘陵，农业生产时常遭受春
<正> 姚××,男,34岁,工人。1984年7月28日初诊。患者于1982年6月12日突然发现肉眼血尿,经某医院检查:血压16.00/9.33kPa(120/70);尿常
本研究从中职数学课堂教学现状入手,对课堂教学效果进行了具体分析,并结合教学实际,从创设问题情境、赏识学生、更新教学理念、精心设计数学活动、合理应用信息技术等方面分
在国家经济结构改革的背景下,各城市开始产业结构优化升级,追求“高质量”发展,人才作为经济社会发展的第一资源,是衡量区域竞争力的关键要素,因此成为了各城市纷纷吸引的对
<正> 目前,全世界信息产业正以10％以上的年增长率高速发展,计算机网络、特别是因特网越来越多地融入各行各业当中。从全球角度看,商业、金融业的应用规模已远远超过了政府、科
本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍一个较规范的较通用的面得对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计，该语言不仅可在多层
闪烁探测器在射线能量与时间的探测中发挥着重要作用。针对国产新型溴化铈（CeBr3）闪烁晶体,本文建立实验系统和方法对其关键性能指标进行了测试,具体包括:建立了快符合时间分辨
目的探讨关节融合术治疗中老年患者重度第1跖趾关节炎及畸形的临床疗效。方法选取该院2012年1月至2017年12月采取第1跖趾关节融合术治疗中老年重度跖趾关节炎及畸形患者34例,
目的观察不同缝合术联合缩宫素治疗剖宫产术中前置胎盘出血的效果。方法回顾性分析2015年1月至2019年10月该院分娩时发生出血的100例前置胎盘产妇的临床资料,依据其不同缝合