1快照、提交与工作区
闭卷重建快照、提交与工作区的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2分支与合并的心智模型
闭卷重建分支与合并的心智模型的对象、状态、事件、不变量与一个失败反例。
3冲突定位与语义解决
闭卷重建冲突定位与语义解决的对象、状态、事件、不变量与一个失败反例。
4小提交与可审查差异
闭卷重建小提交与可审查差异的对象、状态、事件、不变量与一个失败反例。
5评审反馈与共同所有权
闭卷重建评审反馈与共同所有权的对象、状态、事件、不变量与一个失败反例。
6实验：提交序列审计
闭卷重建实验：提交序列审计的对象、状态、事件、不变量与一个失败反例。
7实验：三方文本合并判定
闭卷重建实验：三方文本合并判定的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：分支与合并的心智模型必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕分支与合并的心智模型先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：分支与合并的心智模型不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：快照、提交与工作区必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕快照、提交与工作区先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：快照、提交与工作区不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：小提交与可审查差异必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕小提交与可审查差异先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：小提交与可审查差异不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：冲突定位与语义解决必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕冲突定位与语义解决先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：冲突定位与语义解决不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：提交序列审计必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：提交序列审计先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：提交序列审计不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：评审反馈与共同所有权必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕评审反馈与共同所有权先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：评审反馈与共同所有权不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：三方文本合并判定必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：三方文本合并判定先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：三方文本合并判定不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。