新编程序设计方法学【陈海波，王申康编著】-PDF电子版

书籍名称：新编程序设计方法学

页数：140

作者：陈海波，王申康编著

出版时间：2004

ISBN：7308036545

出版社：杭州：浙江大学出版社

简介：本书分4章。第一章为程序设计方法学的基本介绍，说明了程序方法学的基本概念、产生与发展过程，以及程序设计方法学所关注的基本内容；第二章介绍了程序设计方法学的基本理论；第三章介绍结构化程序设计方法学；第四章介绍面向对象的程序设计方法学。本书适用于计算机专业本科高年级学生，也可供硕士研究生和科研工作者参考。

前部分目录

第一章 程序设计方法学简介——1
1.1 程序设计方法学的产生——1
1.2 程序设计方法学的基本内容——4
第二章 程序设计方法学的基本理论——8
2.1 结构化定理——8
2.1.1 结构化程序——8
2.1.2 结构化定理——12
2.2 程序正确性证明——16
2.2.1 基本概念——16
2.2.2 部分正确性证明方法——18
2.2.3 终止性证明方法——23
2.3 抽象数据类型——25
2.3.1 基本概念——25
2.3.2 抽象数据类型的代数规范——32
第三章 结构化程序设计方法学——40
3.1 结构化程序设计概述——40
······
······
······