1条件分支与复合条件
闭卷重建条件分支与复合条件的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2while循环与终止
闭卷重建while循环与终止的对象、状态、事件、不变量与一个失败反例。
3for循环与迭代范围
闭卷重建for循环与迭代范围的对象、状态、事件、不变量与一个失败反例。
4循环不变量与手工跟踪
闭卷重建循环不变量与手工跟踪的对象、状态、事件、不变量与一个失败反例。
5实验：范围收缩模拟
闭卷重建实验：范围收缩模拟的对象、状态、事件、不变量与一个失败反例。
6实验：闰年判定
闭卷重建实验：闰年判定的对象、状态、事件、不变量与一个失败反例。
7实验：数字统计
闭卷重建实验：数字统计的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：while循环与终止必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕while循环与终止先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：while循环与终止不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：条件分支与复合条件必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕条件分支与复合条件先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：条件分支与复合条件不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：循环不变量与手工跟踪必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕循环不变量与手工跟踪先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：循环不变量与手工跟踪不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：for循环与迭代范围必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕for循环与迭代范围先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：for循环与迭代范围不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：闰年判定必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：闰年判定先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：闰年判定不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：范围收缩模拟必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：范围收缩模拟先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：范围收缩模拟不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：数字统计必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：数字统计先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：数字统计不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。