程序設(shè)計方法學(xué)

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