程序設計方法（中文版）

內(nèi)容概要

　　《程序設計方法》以Scheme語言為基礎介紹計算和程序設計的一般理論和實踐。《程序設計方法》由8個部分和7個獨立的章節(jié)（第8、13、18、24、29、33、38章）組成。8個部分主要討論程序設計，獨立章節(jié)則介紹一些與程序設計和計算相關的話題?！冻绦蛟O計方法》第1至第3部分介紹了基于數(shù)據(jù)驅(qū)動的程序設計基礎。第4部分介紹了程序設計中的抽象問題。第5部分和第6部分是與遞歸及累積相關的內(nèi)容?！冻绦蛟O計方法》的最后兩部分說明了設計程序的意義，闡述了如何應用前6個部分所描述的程序設計訣竅，以及使用賦值語句必須特別小心的一些問題。　　《程序設計方法》可作為高等院校計算機科學與技術專業(yè)“程序設計導論”和“計算導論”的教材和教學參考書，也可作為函數(shù)式語言和Scheme語言的入門教材。

書籍目錄

第一部分 簡單數(shù)據(jù)的處理第1章 學生、教師和計算機 3第2章 數(shù)、表達式和簡單程序 52.1 數(shù)和算術運算 52.2 變量和程序 62.3 字處理問題 92.4 錯誤 102.5 設計程序 12第3章 程序就是函數(shù)加上變量定義 153.1 函數(shù)復合 153.2 變量定義 173.3 函數(shù)復合練習 18第4章 條件表達式和函數(shù) 204.1 布爾類型和關系 204.2 函數(shù)和條件測試 224.3 條件和條件函數(shù) 254.4 條件函數(shù)的設計 27第5章 符號信息 31第6章 復合數(shù)據(jù)之一：結構體 346.1 結構體 346.2 補充練習：繪制簡單圖形 366.3 結構體定義 386.4 數(shù)據(jù)定義 416.5 設計處理復合數(shù)據(jù)的函數(shù) 436.6 補充練習：圓和長方形的移動 466.7 補充練習：劊子手游戲 49第7章 數(shù)據(jù)的多樣性 527.1 數(shù)據(jù)混合與區(qū)分 527.2 設計處理混合數(shù)據(jù)的函數(shù) 557.3 再論函數(shù)復合 587.4 補充練習：圖形的移動 607.5 輸入錯誤 61第8章 語法和語義 638.1 Scheme的詞匯 638.2 Scheme的文法 648.3 Scheme的含義 658.4 錯誤 688.5 布爾值表達式 708.6 變量定義 718.7 結構體的定義 72第二部分 任意數(shù)目數(shù)據(jù)的處理第9章 復合數(shù)據(jù)類型之二：表 779.1 表 779.2 任意長的表的數(shù)據(jù)定義 809.3 處理任意長的表 829.4 設計自引用數(shù)據(jù)定義的函數(shù) 849.5 更多關于簡單表的例子 86第10章 表的進一步處理 9010.1 返回表的函數(shù) 9010.2 包含結構體的表 9310.3 補充練習：移動圖片 98第11章 自然數(shù) 10011.1 定義自然數(shù) 10011.2 處理任意大的自然數(shù) 10111.3 補充練習：創(chuàng)建表，測試函數(shù) 10311.4 自然數(shù)的另一種數(shù)據(jù)定義 10411.5 更多與自然數(shù)有關的性質(zhì) 108第12章 三論函數(shù)復合 11012.1 設計復雜的程序 11012.2 遞歸的輔助函數(shù) 11112.3 問題泛化與函數(shù)泛化 11412.4 補充練習：字母的重新排列 117第13章 用list構造表 119第三部分 再論任意大數(shù)據(jù)的處理第14章 再論自引用數(shù)據(jù)定義 12514.1 結構體中的結構體 12514.2 補充練習：二叉搜索樹 13114.3 表中的表 13514.4 補充練習：Scheme求值 137第15章 相互引用的數(shù)據(jù)定義 13915.1 由結構體組成的表與結構體中的表 13915.2 為相互引用的定義設計函數(shù) 14415.3 補充練習：網(wǎng)頁再談 145第16章 反復精化設計 14716.1 數(shù)據(jù)分析 14716.2 定義數(shù)據(jù)類型，再改進它們 14816.3 改進函數(shù)和程序 150第17章 處理兩種復雜數(shù)據(jù)片段 15217.1 同時處理兩個表：第一種情況 15217.2 同時處理兩個表：第二種情況 15417.3 同時處理兩個表：第三種情況 15617.4 函數(shù)的簡化 15917.5 設計讀入兩個復雜輸入的函數(shù) 16017.6 處理兩個復雜輸入的練習 16117.7 補充練習：Scheme求值之二 16417.8 相等與測試 165第18章 局部定義和轄域 17218.1 用local組織程序 17218.2 轄域和塊結構 183第四部分 抽象設計第19章 定義的相似性 18919.1 函數(shù)的類似之處 18919.2 數(shù)據(jù)定義的類似之處 195第20章 函數(shù)也是值 19920.1 語法和語義 19920.2 抽象函數(shù)和多態(tài)函數(shù)的合約 200第21章 抽象設計的例子 20421.1 從實例中抽象 20421.2 抽象表處理函數(shù)的練習 20821.3 抽象與惟一控制點 20921.4 補充練習：再論圖片移動 21021.5 注意：由模板設計抽象 211第22章 使用函數(shù)進行抽象設計 21322.1 返回函數(shù)的函數(shù) 21322.2 把函數(shù)當成值來進行抽象設計 21422.3 圖形用戶界面初探 216第23章 數(shù)學方面的例子 22323.1 數(shù)列和級數(shù) 22323.2 等差數(shù)列和等差級數(shù) 22523.3 等比數(shù)列和等比級數(shù) 22523.4 函數(shù)曲線下方的面積 22823.5 函數(shù)的斜率 229第24章 定義匿名函數(shù) 23424.1 lambda表達式的語法 23424.2 lambda表達式的轄域和語義 23524.3 lambda表達式的語用 237第五部分 生成遞歸第25章 一種新的遞歸形式 24125.1 為桌上的一個球建立模型 24225.2 快速排序 244第26章 設計算法 24826.1 終止 24926.2 結構遞歸與生成遞歸的比較 25126.3 做出選擇 252第27章 主題的變更 25627.1 分形 25627.2 從文件到行，從表到表的表 26027.3 二分查找 26327.4 牛頓法 26727.5 補充練習：高斯消去法 269第28章 回溯算法 27328.1 圖的遍歷 27328.2 補充練習：皇后之間的相互攻擊 277第29章 計算的代價和向量 28029.1 具體的時間和抽象的時間 28029.2 “階”的定義 28429.3 向量初探 286第六部分 知識累積第30章 知識的丟失 29730.1 一個與結構處理相關的問題 29730.2 一個關于生成遞歸的問題 300第31章 設計帶累積器的函數(shù) 30431.1 認識累積器的必要性 30431.2 帶累積器的函數(shù) 30531.3 把函數(shù)轉(zhuǎn)換成帶累積器的變體 306第32章 使用累積器的更多例子 31532.1 補充練習：有關樹的累積器 31532.2 補充練習：傳教士和食人者問題 31932.3 補充練習：單人跳棋 321第33章 非精確數(shù)的本質(zhì) 32333.1 固定長度的數(shù)的算術運算 32333.2 上溢出 32733.3 下溢出 32833.4 DrScheme數(shù) 328第七部分 改變變量的狀態(tài)第34章 函數(shù)的記憶 333第35章 對變量賦值 33735.1 簡單的、能工作的賦值 33735.2 順序計算表達式 33935.3 賦值和函數(shù) 34035.4 第一個有用的例子 342第36章 設計有記憶的函數(shù) 34636.1 對記憶的需求 34636.2 記憶與狀態(tài)變量 34736.3 初始化記憶的函數(shù) 34836.4 改變記憶的函數(shù) 349第37章 使用記憶的例子 35437.1 狀態(tài)的初始化 35437.2 與用戶交互并改變狀態(tài) 35637.3 在遞歸中改變狀態(tài) 36237.4 狀態(tài)變量的練習 36737.5 補充練習：探險 368第38章 最終的語法和語義 37138.1 Advanced Scheme的詞匯 37138.2 Advanced Scheme的文法 37138.3 Advanced Scheme的含義 37338.4 Advanced Scheme中的錯誤 383第八部分 復合值的改變第39章 封裝 38939.1 狀態(tài)變量的抽象 38939.2 封裝練習 397第40章 可改變的結構體 39940.1 由函數(shù)得出結構體 39940.2 可變的函數(shù)結構體 40140.3 可變的結構體 40340.4 可變的向量 40940.5 改變變量與改變結構體 410第41章 設計改變結構體的函數(shù) 41441.1 為什么改變結構體 41441.2 結構體的設計訣竅與變化器之一 41441.3 結構體的設計訣竅與變化器之二 42341.4 補充練習：最后一次移動圖片 431第42章 相等 43342.1 外延相等 43342.2 內(nèi)涵相等 434第43章 修改結構體、向量和對象 43743.1 關于向量的更多練習 43743.2 帶循環(huán)的結構體集合 44843.3 狀態(tài)的回溯 455結束語 458計算 458程序設計 458繼續(xù)學習 459

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    程序設計方法（中文版） PDF格式下載

---