程序設計方法學

定　價：￥12.00

作　者：	馮樹椿，徐六通編著
出版社：	浙江大學出版社
叢編項：
標　簽：	程序設計

購買這本書可以去

ISBN：	9787308000918	出版時間：	1988-07-01	包裝：	平裝
開本：	20cm	頁數(shù)：	371	字數(shù)：

內(nèi)容簡介

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

作者簡介

暫缺《程序設計方法學》作者簡介

圖書目錄

封面
扉頁
版權頁
前言
目錄
第一章引論
    §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ù)變換
    習題