高级检索

    时序逻辑程序的证明系统

    • 摘要: 本文为时序逻辑语言XYZ/E建立了一个证明系统.其主要特点是:1.证明可以直接在时序逻辑系统中进行,无需另行建立专门的公理系统;2.可建立一些元数学定理以简化证明过程;3.可在逐步求精的过程中边设计边证明正确性.

       

    /

    返回文章
    返回