1直接证明与定义展开
闭卷重建直接证明与定义展开的对象、状态、事件、不变量与一个失败反例。
离散数学与证明方法 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2逆否命题与双条件
闭卷重建逆否命题与双条件的对象、状态、事件、不变量与一个失败反例。
3反证法与最小反例
闭卷重建反证法与最小反例的对象、状态、事件、不变量与一个失败反例。
4分类讨论与构造证明
闭卷重建分类讨论与构造证明的对象、状态、事件、不变量与一个失败反例。
5普通数学归纳法
闭卷重建普通数学归纳法的对象、状态、事件、不变量与一个失败反例。
6强归纳与良基性
闭卷重建强归纳与良基性的对象、状态、事件、不变量与一个失败反例。
7结构归纳与递归对象
闭卷重建结构归纳与递归对象的对象、状态、事件、不变量与一个失败反例。