Skip to content

L00 · 课程参考资料 ​

本页按 MIT 6.102 Spring 2026 的课程顺序汇总各讲涉及的讲义、视频、代码与延伸阅读。每讲页面仍保留与本讲直接相关的资料入口。

资料索引

按课程顺序整理讲义、视频、代码与延伸阅读;每一项都保留在对应讲次下。

20 条资料 · 19 讲 · 20 次关联

01

Static Checking

1 条资料

02

Testing

1 条资料

03

Code Review

2 条资料

04

Specifications

1 条资料

05

Designing Specifications

1 条资料

06

Abstract Data Types

1 条资料

07

Abstraction Functions & Rep Invariants

1 条资料

08

Interfaces & Subtyping

1 条资料

09

Equality

1 条资料

10

Functional Programming

1 条资料

11

Recursive Data Types

1 条资料

12

Grammars & Parsing

1 条资料

13

Debugging

1 条资料

14

Concurrency

1 条资料

15

Promises

1 条资料

16

Mutual Exclusion

1 条资料

17

Callbacks & Graphical User Interfaces

1 条资料

18

Message-Passing & Networking

1 条资料

19

Little Languages

1 条资料

资料来源归原作者与课程方所有 · 笔记内容持续校订