1条件分支与复合条件
闭卷重建条件分支与复合条件的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2while循环与终止
闭卷重建while循环与终止的对象、状态、事件、不变量与一个失败反例。
3for循环与迭代范围
闭卷重建for循环与迭代范围的对象、状态、事件、不变量与一个失败反例。
4循环不变量与手工跟踪
闭卷重建循环不变量与手工跟踪的对象、状态、事件、不变量与一个失败反例。
5实验：范围收缩模拟
闭卷重建实验：范围收缩模拟的对象、状态、事件、不变量与一个失败反例。
6实验：闰年判定
闭卷重建实验：闰年判定的对象、状态、事件、不变量与一个失败反例。
7实验：数字统计
闭卷重建实验：数字统计的对象、状态、事件、不变量与一个失败反例。