良基关系相关论文
本刊1982年第4、5期(总第154、155期)曾刊载R. S.博耶J. S.穆尔著的《计算逻辑》,深受广大读者欢迎,现又将其附录部分刊登于此,以......
本文介绍了基于微机的归纳法推理系统.用该系统,作者已证明了一批计算机程序的正确性及一些有价值的程序属性,包括算术表达式编译程序......
本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序.该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳......
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象,给出......
本文定义了二型序数的概念,并且在聚合公理系统zfc上讨论了它们的某些性质,证明了二型序数满足极小元定理和超限归纳原理,由此得出二型序......
借助一阶逻辑演算有条件也把超限递归原理从序数类推广到具有良基关系的类上。...
探讨广义归纳法对程序性质的证明能力,特别是良基关系的构造和恰当的选择对减少证明义务的作用,并通过实例加以证明。......