1字母表、串与语言不是一回事
闭卷重建字母表、串与语言不是一回事的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2归纳、反证与构造性证明
闭卷重建归纳、反证与构造性证明的对象、状态、事件、不变量与一个失败反例。
3集合、关系与等价类
闭卷重建集合、关系与等价类的对象、状态、事件、不变量与一个失败反例。
4判定问题与编码
闭卷重建判定问题与编码的对象、状态、事件、不变量与一个失败反例。
5闭包证明的构造模板
闭卷重建闭包证明的构造模板的对象、状态、事件、不变量与一个失败反例。
6实验：短串与语言运算
闭卷重建实验：短串与语言运算的对象、状态、事件、不变量与一个失败反例。
7证明工作流：命题到反例
闭卷重建证明工作流：命题到反例的对象、状态、事件、不变量与一个失败反例。