程序設計方法學

封面
扉頁
版權頁
前言
目錄
第一章 引論
    §1.1 程序設計發(fā)展與程序設計方法學
    §1.2 程序設計的一般途徑
    §1.3 結構程序設計概念
    習題
第二章 程序的控制結構
    §2.1 基本控制結構
    §2.2 goto語句
    §2.3 過程與函數(shù)
    習題
第三章 程序的正確性證明
    §3.1 程序的測試
    §3.2 Floyd-Hoare規(guī)則公理方法
    §3.3 Dijkstra最弱前置條件方法
    習題
第四章 數(shù)據(jù)類型與抽象
    §4.1 類型概念
    §4.2 數(shù)據(jù)類型
    §4.3 數(shù)據(jù)抽象及其代數(shù)規(guī)范
    習題
第五章 遞歸程序設計
    §5.1 遞歸的概念
    §5.2 遞歸與迭代程序
    §5.3 遞歸數(shù)據(jù)結構
    §5.4 遞歸程序及其驗證
    習題
第六章 程序設計方法
    §6.1 逐步求精方法
    §6.2 模塊化程序設計方法
    §6.3 程序的形式推導方法
    §6.4 程序求逆
    習題
第七章 程序變換
    §7.1 程序變換的基本思想
    §7.2 程序變換方法
    §7.3 FP函數(shù)型程序的代數(shù)變換
    習題