跳到主要内容
步芽

【极致中配】【全网最清晰版】MIT 6.001 计算机程序的构造和解释 (SICP) | 1986

MIT 经典 SICP 课程，以 Lisp 讲授程序抽象、数据抽象、状态、流、元循环求值器、逻辑编程直到编译与垃圾回收。

难度
难度 4/5 — 经典计算机科学奠基课，抽象思维密度高，Lisp 与元循环求值器对初学者有挑战
适合人群
有一定编程基础、想深入理解程序抽象与语言本质的自学者与 CS 学生
前置要求
基础编程经验（了解变量、函数、递归等概念即可）、高中数学（涉及函数、代数运算，用于示例）、递归思维（大量使用递归与高阶抽象）、Lisp/Scheme 基础（课程会从零讲授，但提前熟悉更佳）
课程规模
20 讲 · 3922播放
在 B 站免费观看 →就这门课提问 →排进我的学习路线

主题覆盖

Lisp 入门过程与替换模型高阶过程复合数据符号求导与引用赋值与状态计算对象流元循环求值器逻辑编程寄存器机器编译与垃圾回收

课程大纲（20 讲）

  1. P1 · Lecture 1A: Overview and Introduction to Lisp48 分钟
  2. P2 · Lecture 1B: Procedures and Processes; Substitution Model40 分钟
  3. P3 · Lecture 2A: Higher-order Procedures41 分钟
  4. P4 · Lecture 2B: Compound Data50 分钟
  5. P5 · Lecture 3A: Henderson Escher Example48 分钟
  6. P6 · Lecture 3B: Symbolic Differentiation; Quotation28 分钟
  7. P7 · Lecture 4A: Pattern Matching and Rule-based Substitution41 分钟
  8. P8 · Lecture 4B: Generic Operators54 分钟
  9. P9 · Lecture 5A: Assignment, State, and Side-effects49 分钟
  10. P10 · Lecture 5B: Computational Objects42 分钟
  11. P11 · Lecture 6A: Streams, Part 142 分钟
  12. P12 · Lecture 6B: Streams, Part 240 分钟
  13. P13 · Lecture 7A: Metacircular Evaluator, Part 156 分钟
  14. P14 · Lecture 7B: Metacircular Evaluator, Part 238 分钟
  15. P15 · Lecture 8A: Logic Programming, Part 126 分钟
  16. P16 · Lecture 8B: Logic Programming, Part 244 分钟
  17. P17 · Lecture 9A: Register Machines46 分钟
  18. P18 · Lecture 9B: Explicit-control Evaluator47 分钟
  19. P19 · Lecture 10A: Compilation29 分钟
  20. P20 · Lecture 10B: Storage Allocation and Garbage Collection39 分钟

本课程卡由 AI 生成，可能存在误差，欢迎反馈。