程序设计方法（第2版）

本书从系统设计的角度出发介绍计算以及程序设计的方法和过程。全书由6个部分和5个独立章节组成，6个部分侧重于介绍程序设计，分别介绍从数值和图像等原子数据到区间、枚举、条目、结构体及其组合等新方法的基本概念，任意大的复合数据及其用途，用于创建和使用抽象的设计诀窍，迭代改进的思想，生成递归以及关于累积器的用法；5个独立章节引入编程机制和计算的概念，分别介绍教学语言的语法和语义、引用和反引用、作用域和抽象、数值的本质以及计算的成本。 本书强调程序设计的计划和构建、设计诀窍、抽象和迭代改进等思想，逻辑清晰，循序渐进，示例丰富，可以指导有一定编程经验的读者系统地学习程序设计，也可作为高等院校计算机科学与技术专业程序设计导论和计算导论的教材和教学参考书。

Matthias Felleisen，美国东北大学计算机科学学院Trustee教授，世界知名的计算机科学家，他最为人知的他是PLT Scheme（Racket）语言的创始人。2009年，他获得Karl V. Karlstrom杰出教育家奖。2010年，他获得了SIGCSE计算机科学教育杰出贡献奖。2012年，他获得了SIGPLAN编程语言成就奖，以表彰他编程语言领域显著和持久的贡献。

Robert Bruce Findler，美国西北大学计算机科学副教授。

Matthew Flatt，美国犹他大学计算机学院教授。

Shriram Krishnamurthi，美国布朗大学计算机科学教授。