1从问题到输入输出
闭卷重建从问题到输入输出的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2前置条件与后置条件
闭卷重建前置条件与后置条件的对象、状态、事件、不变量与一个失败反例。
3例子、反例与边界
闭卷重建例子、反例与边界的对象、状态、事件、不变量与一个失败反例。
4状态与逐步执行
闭卷重建状态与逐步执行的对象、状态、事件、不变量与一个失败反例。
5把大问题分成可验证子问题
闭卷重建把大问题分成可验证子问题的对象、状态、事件、不变量与一个失败反例。
6实验：规格一致性检查器
闭卷重建实验：规格一致性检查器的对象、状态、事件、不变量与一个失败反例。
7实验：区间判定程序
闭卷重建实验：区间判定程序的对象、状态、事件、不变量与一个失败反例。