程序设计方法学讲义第一章程序设计方法简介1、产生和发展2、程序设计的一般途径3、结构化程序设计及其讨论的主要问题第二章程序的控制结构1、基本控制结构2、goto语句3、过程与函数4、结构化程序和结构定理第三章程序的正确性证明1、程序的测试2、Floyd-Hoare规则公理方法3、Dijkstra最弱前置条件方法第四章数据类型与抽象1、类型概念2、数据类型3、数据抽象及其代数规范4、大型程序设计与抽象数据类型第五章递归程序设计1、递归的概念2、递归与迭代程序3、递归数据结构4、递归程序及其验证第六章程序设计方法1、逐步求精方法2、模块化程序设计3、面向对