Skip to content

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Notifications You must be signed in to change notification settings

koosai/Learning-SICP

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

MIT OCW MIT OpenCourseWare      HIT FoOTOo 哈尔滨工业大学 FoOTOo实验室      HIT PT 哈尔滨工业大学 清影PT

SICP

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

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

教辅资料

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

教学辅导 环境配置 深入阅读
SICP原书全文·英文 MIT Scheme基本使用 Oleg's FTP
SICP原书PDF版·英文 PLT Scheme的基本使用 Readscheme.org - Functional Programming Resources
Scheme入门教程·中文 DrRacket 的安装与配置 Resources for Programming Language Research
MIT 6.945/6.905 课程作业 Racket 常见问题 Classic Papers in Programming Languages and Logic

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

视频地址

注意

  • 由于 MKV 格式的视频文件需要额外安装字幕,我们不再提供 MKV 格式的视频;
  • 中国大陆以外的用户,可尝试通过Google Drive下载以获得更高的下载速度。
编号 标题 下载地址 译者
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

捐助本项目

本项目不以盈利为目的,旨在为广大程序员、函数式编爱好者以及计算机专业学生提供相关学习资源。

字幕制作之苦,如人饮水冷暖自知,期间又经历各种变故,如今也主要只有我一人坚守在这个岗位上为大家继续献上这门经典公开课。虽然拖拖拉拉断断续续,能坚持到今天实属不易。如果您愿意支持本项目,不妨向以下支付宝账户捐款。

deathking_alipay
账号:death0622@qq.com

加入我们

  • Learning-SICP 主群:97747648
  • Learning-SICP 2 群:573877085

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

声明与致谢

我们由衷感谢 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).

About

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Ruby 76.0%
  • Shell 19.9%
  • Perl 4.1%