文件名称：东北大学程序设计方法学课件
文件大小：844KB
文件格式：RAR
更新时间：2012-10-20 06:19:02
程序设计方法学
不涉及实际的编程技巧，讨论的是程序设计的逻辑思维与数学证明
【文件预览】：
程序设计方法学
----PM讲义-第4章 结构化程序设计.ppt(508KB)
----PM讲义-第5章 最弱前置谓词和程序语言的语义.ppt(141KB)
----PM-09-Chap0-介绍.ppt(223KB)
----PM讲义-第7章 程序正确性证明（下）.ppt(230KB)
----PM讲义-第7章 程序正确性证明（上）.ppt(231KB)
----PM讲义-第6章 程序设计的基本方法.ppt(172KB)
----PM-08-Chap02-数理逻辑基础.ppt(181KB)
----PM讲义-第3章 程序规范及其正确性证明简介.ppt(151KB)
----PM讲义-第9章 程序变换技术.ppt(68KB)
----PM讲义-第8章 递归程序设计及其正确性证明.ppt(64KB)
----PM-08-Chap01-概述.ppt(605KB)