1线性扫描与计数
闭卷重建线性扫描与计数的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2最值与单遍聚合
闭卷重建最值与单遍聚合的对象、状态、事件、不变量与一个失败反例。
3排序、稳定性与成本
闭卷重建排序、稳定性与成本的对象、状态、事件、不变量与一个失败反例。
4二分查找与有序不变量
闭卷重建二分查找与有序不变量的对象、状态、事件、不变量与一个失败反例。
5实验：稳定插入排序
闭卷重建实验：稳定插入排序的对象、状态、事件、不变量与一个失败反例。
6实验：线性查找
闭卷重建实验：线性查找的对象、状态、事件、不变量与一个失败反例。
7实验：二分查找
闭卷重建实验：二分查找的对象、状态、事件、不变量与一个失败反例。