定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一阶谓词演算定理机器证明的余式方法被引量：7
《计算机学报》1996年第10期728-734,共7页吴尽昭 刘卓军 
博士后科学基金;攀登计划项目基金
本文将一阶谓词演算的定理证明转化为代数簇的计算，从而获得了代数化的Ｈｅｒｂｒａｎｄ过程．又通过一阶多项式间的求余运算，给出了余式方法并证明了它的完备性．同时，我们证明了归结原理是余式方法的一种特例．
关键词：定理证明 多项式 余式 机器证明 
多值逻辑定理机器证明的代数方法被引量：5
《计算机学报》1996年第10期773-779,共7页吴尽昭 
博士后科学基金
由给定的多值逻辑系统中的一组公式，．．．，，出发，构造出了一组有理数域上的多项式ＰＳ，使得是，．．．，的逻辑结论，当且仅当ＰＳ定义的代数簇为空集，当且仅当ＰＳ生成的理想是平凡理想．从而，利用特征列方法和Ｇｒｏｅｂｎｅ...
关键词：多值逻辑 机器证明 代数法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部