Home

Awesome

《计算机程序的结构和解释》公开课 翻译项目

<img height="20px" src="https://user-images.githubusercontent.com/895809/47278305-6d793380-d5fa-11e8-89f2-7c8862027997.png" alt="MIT OCW"> MIT OpenCourseWare      <img height="20px" src="https://avatars2.githubusercontent.com/u/36149682?s=200&v=4" alt="HIT IBMTC"> 哈尔滨工业大学 IBM技术中心      <img height="20px" src="https://user-images.githubusercontent.com/895809/47278313-7cf87c80-d5fa-11e8-9ca8-0f5f19c1d31e.jpg" alt="HIT PT"> 哈尔滨工业大学 清影PT

<p align="center"> <img src="http://groups.csail.mit.edu/mac/classes/6.001/abelson-sussman-lectures/wizard.jpg" alt="SICP"/> </p>

《计算机程序的构造和解释》系列公开课,视频是两位作者(Harold Abelson、Gerald Jay Sussman)在1986年7月给Hewlett-Packard公司员工培训时的录像。你可以在这里获得这门课程的视频。

这门课程只提供了英文字幕,本项目旨在将这些英文字幕翻译为中文,方便广大的Scheme/Lisp学习者。

教辅资料

这里收集了一些有用的学习资料,包括SICP原书、Scheme新手教程、教学环境搭建、相关拓展习题等资料。

教学辅导环境配置深入阅读
SICP原书全文·英文MIT Scheme基本使用程序设计语言理论资料汇编
SICP原书PDF版·英文PLT Scheme的基本使用程序设计语言研究资料
Scheme入门教程·中文DrRacket 的安装与配置程序设计语言与逻辑研究领域经典论文
MIT 6.945/6.905 课程作业Racket 常见问题Oleg's FTP

SICP的习题解答可参考 SchemeWiki 的 SICP Solutions 页面。如果您在学习过程中遇到任何疑问,欢迎使用 Issues 功能提问。

视频地址

<table> <tr> <th colspan="5"><a href="https://learningsicp.github.io/">🏠 主页</a></th> </tr> <tr> <td>🎥 播放列表</td> <td><a href="https://v.youku.com/v_show/id_XNTEzMDAyMTU2.html?f=18958522">优酷</a></td> <td><a href="https://www.youtube.com/playlist?list=PLkEwH_Z2WOlppy8oUfrGwFVlOuKyo3RO_">YouTube</a></td> <td><a href="https://www.bilibili.com/video/av8515129/">BiliBili</a></td> <td><a href="https://www.acfun.cn/v/ac10517890">AcFun</a></td> </tr> <tr> <td >📂 网盘</td> <td colspan="2"><a href="https://pan.baidu.com/s/1o78bsYA">百度网盘</a></td> <td colspan="2"><a href="https://drive.google.com/drive/folders/12yryTD9HPpa5zjIpTmYawl6-8VrISxIE?usp=sharing">Google Drive</a></td> </tr> </table>

注意

编号标题下载地址译者
Lec1a《Lisp概览》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec1b《计算过程》 [优酷] [YouTube] [bilibili] [MP4] ChingfanTsou
Lec2a《高阶过程》 [优酷] [YouTube] [bilibili] [MP4] endyul
Lec2b《复合数据》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec3a《Henderson-Escher的例子》 [优酷] [YouTube] [bilibili] [MP4] DeathKing, Michael Savior
Lec3b《符号化求导系统:引用》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec4a《模式匹配:基于规则的代换》 [优酷] [YouTube] [bilibili] [MP4] DeathKing, Michael Savior
Lec4b《通用运算符》 [优酷] [YouTube] [bilibili] [MP4] rtmagic
Lec5a《赋值,状态和副作用》 [优酷] [YouTube] [bilibili] [MP4] Windfarer
Lec5b《计算对象》 [优酷] [YouTube] [bilibili] [MP4] DreamAndDead
Lec6a《流 I》 [优酷] [YouTube] [bilibili] [MP4] DreamAndDead
Lec6b《流 II》 [优酷] [YouTube] [bilibili] [MP4] DreamAndDead
Lec7a《元循环求值器 I》 [优酷] [YouTube] [bilibili] [MP4] DeathKing, DreamAndDead
Lec7b《元循环求值器 II》 [优酷] [YouTube] [bilibili] [MP4] DeathKing, DreamAndDead
Lec8a《逻辑式程序设计 I》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec8b《逻辑式程序设计 II》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec9a《寄存机器》 [优酷] [YouTube] [bilibili] [MP4] DeathKing
Lec9b《显式控制求值器》 [优酷] [YouTube] [bilibili] [MP4] DeathKing, rtmagic
Lec10a《编译》 [优酷] [YouTube] [bilibili] [MP4] Windfarer
Lec10b《存储分配与垃圾收集》 [优酷] [YouTube] [bilibili] [MP4] Windfarer

加入我们

(加群请注明理由,否则一概拒绝)

声明与致谢

我们由衷感谢 Harold Abelson 及 Gerald Jay Sussman 教授为我们讲授这一门公开课,感谢 MIT OCW 项目允许我们以 Creative Commons 的方式分发本课的中译版本,以下是原课中的许可与声明。

http://ocw.mit.edu
License: Creative Commons Attribution-Noncommercial-Share Alike.
Eric Grimson, Peter Szolovits, and Trevor Darrell,
6.001 Structure and Interpretation of Computer Programs, Spring 2005.
(Massachusetts Institute of Technology: MIT OpenCourseWare).