1选题、命题与定义冻结
闭卷重建选题、命题与定义冻结的对象、状态、事件、不变量与一个失败反例。
离散数学与证明方法 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2小规模枚举与反例发现
闭卷重建小规模枚举与反例发现的对象、状态、事件、不变量与一个失败反例。
3引理分解与依赖图
闭卷重建引理分解与依赖图的对象、状态、事件、不变量与一个失败反例。
4选择证明策略
闭卷重建选择证明策略的对象、状态、事件、不变量与一个失败反例。
5代码验证与形式证明对照
闭卷重建代码验证与形式证明对照的对象、状态、事件、不变量与一个失败反例。
6严格写作、同伴审阅与修订
闭卷重建严格写作、同伴审阅与修订的对象、状态、事件、不变量与一个失败反例。
7答辩：从猜想到定理
闭卷重建答辩：从猜想到定理的对象、状态、事件、不变量与一个失败反例。