程序設計方法（第2版）

本書從系統(tǒng)設計的角度出發(fā)介紹計算以及程序設計的方法和過程。全書由6個部分和5個獨立章節(jié)組成，6個部分側重于介紹程序設計，分別介紹從數(shù)值和圖像等原子數(shù)據(jù)到區(qū)間、枚舉、條目、結構體及其組合等新方法的基本概念，任意大的復合數(shù)據(jù)及其用途，用于創(chuàng)建和使用抽象的設計訣竅，迭代改進的思想，生成遞歸以及關于累積器的用法；5個獨立章節(jié)引入編程機制和計算的概念，分別介紹教學語言的語法和語義、引用和反引用、作用域和抽象、數(shù)值的本質以及計算的成本。 本書強調程序設計的計劃和構建、設計訣竅、抽象和迭代改進等思想，邏輯清晰，循序漸進，示例豐富，可以指導有一定編程經(jīng)驗的讀者系統(tǒng)地學習程序設計，也可作為高等院校計算機科學與技術專業(yè)程序設計導論和計算導論的教材和教學參考書。

Matthias Felleisen，美國東北大學計算機科學學院Trustee教授，世界知名的計算機科學家，他最為人知的他是PLT Scheme（Racket）語言的創(chuàng)始人。2009年，他獲得Karl V. Karlstrom杰出教育家獎。2010年，他獲得了SIGCSE計算機科學教育杰出貢獻獎。2012年，他獲得了SIGPLAN編程語言成就獎，以表彰他編程語言領域顯著和持久的貢獻。

Robert Bruce Findler，美國西北大學計算機科學副教授。

Matthew Flatt，美國猶他大學計算機學院教授。

Shriram Krishnamurthi，美國布朗大學計算機科學教授。