123,123

內(nèi)容簡(jiǎn)介

　　《程序設(shè)計(jì)方法學(xué)》內(nèi)容涉及結(jié)構(gòu)程序的概念、程序設(shè)計(jì)的主要控制結(jié)構(gòu)、程序正確性的證明、數(shù)據(jù)類型抽象、遞歸方法、逐步求精法、模塊設(shè)計(jì)和推導(dǎo)技術(shù)，最后介紹近幾年新發(fā)展的程序變換技術(shù)。

作者簡(jiǎn)介

暫缺《程序設(shè)計(jì)方法學(xué)》作者簡(jiǎn)介

圖書(shū)目錄

封面
扉頁(yè)
版權(quán)頁(yè)
前言
目錄
第一章引論
    §1.1 程序設(shè)計(jì)發(fā)展與程序設(shè)計(jì)方法學(xué)
    §1.2 程序設(shè)計(jì)的一般途徑
    §1.3 結(jié)構(gòu)程序設(shè)計(jì)概念
    習(xí)題
第二章程序的控制結(jié)構(gòu)
    §2.1 基本控制結(jié)構(gòu)
    §2.2 goto語(yǔ)句
    §2.3 過(guò)程與函數(shù)
    習(xí)題
第三章程序的正確性證明
    §3.1 程序的測(cè)試
    §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è)計(jì)
    §5.1 遞歸的概念
    §5.2 遞歸與迭代程序
    §5.3 遞歸數(shù)據(jù)結(jié)構(gòu)
    §5.4 遞歸程序及其驗(yàn)證
    習(xí)題
第六章程序設(shè)計(jì)方法
    §6.1 逐步求精方法
    §6.2 模塊化程序設(shè)計(jì)方法
    §6.3 程序的形式推導(dǎo)方法
    §6.4 程序求逆
    習(xí)題
第七章程序變換
    §7.1 程序變換的基本思想
    §7.2 程序變換方法
    §7.3 FP函數(shù)型程序的代數(shù)變換
    習(xí)題