MIT 6.102：软件构建

MIT 6.102 围绕安全免于缺陷、易于理解、随时可变三大目标，系统学习静态检查、规格说明、抽象数据类型、函数式编程、并发与网络。包含 19 讲独立中文精读、5 个 TypeScript 干净室自学支架，以及 MIT 官方站点的中英双语离线镜像。

麻省理工学院

2026 年春季

从这里开始

静态检查

已完成 0 / 19 讲 · 记录保存在当前浏览器

0 / 19讲义已完成

已完成 0 / 5 份实践
由你确认，不自动标记

读讲义，理解原理与机制。
从规格、例子与测试开始，建立可检查的理解。

做推演与自测，检验理解。
先做预测，再沿状态、不变量与事件逐步验证。

用工作簿与实验验证方法。
用失败情形和边界测试，检验代码中的设计选择。

怎样描述并检查正确的软件？

如何隔离变化并保护不变量？

怎样把小部件组合成可理解的系统？

事件交织时怎样保持正确性？

推演与概念检查已编排在各讲中。

把理解落到可检查的推导、测试与实现证据。