第6章节应用部分-程序正确性证明.pptVIP

第六章 应用部分、程序正确性证明1. 前面命题演算和谓词演算重要的是利用其概念建立  了命题及谓词的公理系统。 1）矛盾性 2）永真性 这些问题表面上看来都是比较抽象，好象是无实用  价值，其实则不然。 2. 数理逻辑的理论和方法在计算机理论中有如下几方 面应用。 1）准确的理解程序 2）容易的构造程序 3）证明程序的正确性 4）测试系统的可靠性 5）检测程序中的错误 6）提高程序的运行效率 例如：信息奇偶检测法就是数理逻辑学中完成的。3. 编译程序中，语法上的正确及语义上的正确，  但不能保证程序的完全正确。主要原因是逻辑  上的错误，而逻辑错误用调试的方法是不能解 决的。 例如：百鸡百钱问题 为代码流程 FOR X=0 到 19 FOR Y=0 到 33 判别 5X+3Y+Z=100 若满足判别条件则打印一组X、Y、Z然后继续循环 若不满足判别条件则不打印该组X、Y、Z然后继续  循环 程序如下： Main（） { Int x