1ADT：值、操作与语义契约
闭卷重建ADT：值、操作与语义契约的ADT、表示不变量、操作与复杂度。
数据结构与抽象数据类型 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2表示不变量与封装边界
闭卷重建表示不变量与封装边界的ADT、表示不变量、操作与复杂度。
3渐进复杂度与增长率
闭卷重建渐进复杂度与增长率的ADT、表示不变量、操作与复杂度。
4最坏、均摊与期望成本
闭卷重建最坏、均摊与期望成本的ADT、表示不变量、操作与复杂度。
5空间复杂度与内存布局
闭卷重建空间复杂度与内存布局的ADT、表示不变量、操作与复杂度。
6选择结构的决策表
闭卷重建选择结构的决策表的ADT、表示不变量、操作与复杂度。
7实验：契约与操作计数器
闭卷重建实验：契约与操作计数器的ADT、表示不变量、操作与复杂度。