程序设计技术与方法.pdf

程序设计技术和方法 structure and Interpretation of Computer Programs 裘宗燕 北京大学数学学院信息科学系 2012.9-2013.1 程序设计技术和方法 裘宗燕，2012-2013 - (1) 0. 课程简介 课程教材： H. Abelson, G. J. Sussman, J. Sussman, Structure and Interpretation of Computer Programs (SICP), MIT 计算机程序的构造和解释，机械工业出版社，2003 程序设计技术和方法 裘宗燕，2012-2013 - (2) 课程安排： 上课：星期三晚6 点40 到9 点30 上机（具体事项另行安排）： 理科楼1235 集中上机和辅导时间：星期一晚7 点到9 点，第3周开始 每人50 小时上机时间，可在指定时间去，也可自己安排时间 课程辅导 理科一号楼1480 （我的办公室） 星期一下午4 点到6 点。视情况和需要调整 辅导老师：陈璐瑶，胡婷婷 作业交给辅导老师（电子邮件） 程序设计技术和方法 裘宗燕，2012-2013 - (3) 课程相关材料 主页： /teachers/qiuzy/progtech/ SICP 全文和相关信息，Scheme 手册（R5 有中文翻译）等 发布课程通知，作业和上课幻灯片等 讨论用教学网() 本课程讨论板： 欢迎积极参加，提出问题和看法 请只讨论与本课程有关的问题 发贴请尽可能言之有物 给出意义明确的标题，能清晰说明要讨论的问题及自己的看法 一些同学在教学网的帐号下没有邮件地址 请登录并加入邮件地址，以便联系 程序设计技术和方法 裘宗燕，2012-2013 - (4) 软件 本课程上机用Scheme 语言和 MIT Scheme 系统 机房安装MIT Scheme。基本系统是个交互式解释环境，带有一个类似 emacs 的编辑环境，可直接在该编辑环境里使用Scheme，也可以用 其他编辑器编程后装入系统 主页上有简单使用说明，系统有联机手册 安排时间介绍MIT Scheme 使用，欢迎参加（第一次上机） 系统安装 安装文件可下载 网页链接有文档/资源等相关信息 另一使用较广的Racket （，原为PLT Scheme） 标准Windows 界面常见形式的编辑器和执行环境、调试支持等 有一点兼容性问题，后面章节的有些程序需要修改。也可以解决， 但会有点小麻烦 程序设计技术和方法 裘宗燕，2012-2013 - (5) 情况和想法 信息学院希望有一门用SICP 开的选修课程，帮助同学进一步加深对程 序语言和程序设计中各种问题的认识 数学学院原有课程“程序设计技术和方法” 两方面的想法和需要结合，形成了这个供两学院同学选修的课程 已经开过四次 想法：帮助同学们从更多角度观察和理解程序和程序设计中的问题： 函数式程序设计 各种程序组织方式，分解和控制程序复杂性的技术 丰富多彩的编程模式 对一些基础问题的理解 上述各方面与常规的（命令式的，典型的如c/c++，等等）程序设计之 间的关系，给我们的启示等 程序设计技术和