v

您的位置:VeryCD教育计算机


《计算机程序设计与解释》(Structure and Interpretation of Computer Programs)mp4

  • 状态: 精华资源
  • 摘要:
    发行日期1986年07月
    对白语言英语
  • 时间: 2007/05/23 12:21:43 发布 | 2007/05/23 12:21:43 更新
  • 分类: 教育  计算机 

Sam1860

精华资源: 13

全部资源: 15

相关: 分享到新浪微博   转播到腾讯微博   分享到开心网   分享到人人   分享到QQ空间   订阅本资源RSS更新   美味书签  subtitle
该内容尚未提供权利证明,无法提供下载。
中文名计算机程序设计与解释
英文名Structure and Interpretation of Computer Programs
版本mp4
发行日期1986年07月
地区美国
对白语言英语
简介

IPB Image


  本书1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,本书对于计算机科学的教育计划产生了深刻的影响。
  第2版中大部分重要程序设计系统都重新修改并做过测试,包括各种解释器和编译器。作者根据其后十余年的教学实践,还对其他许多细节做了相应的修改。
  本书自出版以来,世界各地已有100多所院校采用本书做教材,其中包括美国斯坦福大学、美国普林斯顿大学、英国牛津大学、日本东京大学等。
  相关网站有本书源代码及其他教辅资料,网址为:www-mitpress.mit.edu/sicp/

作者简介:
  Harold Abelson是MIT1992年度MacVicarFacultyFellow。Gerald JaySussman是Matsushita电子工程教授。他们都在MIT电子工程和计算机科学系工作.都得到过最重要的计算机科学教育奖:如 Abelson得到了IEEE计算机学会的Booth奖。Sussman得到了ACM的Karlstrom奖。
  Julie Sussman是作家和编辑,同时使用自然语言和计算机语言写作。
  每一位严肃的计算机科学家都应该阅读这本书。由于本书清晰、简洁和富于才智,我们强烈推荐本书,它适合所有希望深刻理解计算机科学的人们。
                                 ——Mitchell Wand
                                 《美国科学家》杂志

书本目录:
Contents vii
Foreword xi
Preface to the Second Edition xv
Preface to the First Edition xvii
Acknowledgments xxi
1 Building Abstractions with Procedures 1
1.1 The Elements of Programming 4
1.2 Procedures and the Processes They Generate 31
1.3 Formulating Abstractions with Higher-Order Procedures 56
2 Building Abstractions with Data 79
2.1 Introduction to Data Abstraction 83
2.2 Hierarchical Data and the Closure Property 97
2.3 Symbolic Data 142
2.4 Multiple Representations for Abstract Data 169
2.5 Systems with Generic Operations 187
3 Modularity, Objects and State 217
3.1 Assignment and Local State 218
3.2 The Environmental Model of Evaluation 236
3.3 Modeling with Mutable Data 251
3.4 Concurrency: Time Is of the Essence 297
3.5 Streams 316
4 Metalinguistic Abstraction 359
4.1 The Metaciricular Evaluator 362
4.2 Variations on a Scheme--Lazy Evaluation 398
4.3 Variations on a Scheme--Nondeterministic Computing 412
4.4 Logic Programming 438
5 Computing with Register Machines 491
5.1 Designing Register Machines 492
5.2 A Register-Machine Simulator 513
5.3 Storage Allocation and Garbage Collection 533
5.4 The Explicit Control Evaluator 547
5.5 Compilation 566
References 611
List of Exercises 619
Index 621


视频课程简介:
这个视频课程是由SICP作者Hal Abelson和Gerald Jay Sussman于1986年7月给Hewlett-Packard公司员工培训时所录制,包含完整的课程内容。

http://www.swiss.ai.mit.edu/classes/6.001/abelson-sussman-lectures/gjspicture.jpg http://www.swiss.ai.mit.edu/classes/6.001/abelson-sussman-lectures/halpicture.jpg

在线电子书:http://mitpress.mit.edu/sicp/full-text/book/book.html

课程目录:

Lecture 01a: Overview and Introduction to Lisp
The first lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 01b: Procedures and Processes; Substitution Model
The second lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 02a: Higher-order Procedures
The third lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 02b: Compound Data
The fourth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 03a: Henderson Escher Example
The fifth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 03b: Symbolic Differentiation; Quotation
The sixth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 04a: Pattern Matching and Rule-based Substitution
The seventh lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 04b: Generic Operators
The eighth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 05a: Assignment, State, and Side-effects
The ninth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 05b: Computational Objects
The tenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 06a: Streams, Part 1
The eleventh lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 06b: Streams, Part 2
The twelfth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 07a: Metacircular Evaluator, Part 1
The thirteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 07b: Metacircular Evaluator, Part 2
The fourteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 08a: Logic Programming, Part 1
The fifteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 08b: Logic Programming, Part 2
The sixteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 09a: Register Machines
The seventeenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 09b: Explicit-control Evaluator
The eighteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 10a: Compilation
The nineteenth lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.
Lecture 10b: Storage Allocation and Garbage Collection
The final lecture of twenty from MIT's Structure and Interpretation of Computer Programs course.

[安全检测]
已通过安全检测
安全检测软体:NOD32防毒系统
版本:2.7.27
杀毒引擎版本:2277(20070522)

共享服务器:
DonkeyServer No3, BiG BanG 3, BiG BanG 5, BiG BanG 7
共享服务时间:
24小时

[免责声明]
该下载内容仅限於个人测试学习之用,不得用於商业用途,并且请在下载后24小时内删除。
资源版权归原作者及其公司所有,如果你喜欢,请购买正版。

正在读取……

这里是其它用户补充的资源(我也要补充):

henrya2 2008/01/01 09:49:18 补充
带完整的CHM目录的版本(完全的目录, 和内部的目录页的链接一样)

该内容尚未提供权利证明,无法提供下载。
正在加载,请稍等...

点击查看所有76网友评论

 

(?) [公告]留口水、评论相关规则 | [活动]每日签到 轻松领取电驴经验

    小贴士:
  1. 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  2. 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  3. 勿催片。请相信驴友们对分享是富有激情的,如果确有更新版本,您一定能搜索到。
  4. 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。
  5. 如果您发现自己的评论不见了,请参考以上4条。