Skip to content
MIT · Software Construction · Spring 2026已发布

MIT 6.102 Spring 2026

以 TypeScript 学习规格、测试、抽象、代码审查与并发。接入 Spring 2026 官方十九篇核心阅读与作业入口;官方明确概念由交互阅读提供,主动学习课堂不录像。

阅读
19 阅读
发布
19 阅读
内容
38 份
资料
20 条

Lab 与作业 ​

入口按本课程官网公布的作业登记;代码、题目版本及访问要求以原站为准。

课程学习路径 ​

00 · 课程参考资料

官方来源与经典延伸阅读

1 阅读
  1. 00

    课程参考资料

    按课程目录汇总讲义、视频、代码与延伸阅读。

    20 项

01 · 规格、测试与审查

按官方阅读顺序学习

5 阅读
  1. 01

    Static Checking

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  2. 02

    Testing

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  3. 03

    Code Review

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  4. 04

    Specifications

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  5. 05

    Designing Specifications

    阅读官方材料,并结合练习核对概念。

    笔记Blog

02 · 抽象与数据设计

按官方阅读顺序学习

7 阅读
  1. 06

    Abstract Data Types

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  2. 07

    Abstraction Functions & Rep Invariants

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  3. 08

    Interfaces & Subtyping

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  4. 09

    Equality

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  5. 10

    Functional Programming

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  6. 11

    Recursive Data Types

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  7. 12

    Grammars & Parsing

    阅读官方材料,并结合练习核对概念。

    笔记Blog

03 · 调试、并发与交互

按官方阅读顺序学习

7 阅读
  1. 13

    Debugging

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  2. 14

    Concurrency

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  3. 15

    Promises

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  4. 16

    Mutual Exclusion

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  5. 17

    Callbacks & Graphical User Interfaces

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  6. 18

    Message-Passing & Networking

    阅读官方材料,并结合练习核对概念。

    笔记Blog
  7. 19

    Little Languages

    阅读官方材料,并结合练习核对概念。

    笔记Blog

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