1项目章程与验收标准
闭卷重建项目章程与验收标准的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2数据模型与模块边界
闭卷重建数据模型与模块边界的对象、状态、事件、不变量与一个失败反例。
3迭代计划与垂直切片
闭卷重建迭代计划与垂直切片的对象、状态、事件、不变量与一个失败反例。
4测试、错误处理与发布门槛
闭卷重建测试、错误处理与发布门槛的对象、状态、事件、不变量与一个失败反例。
5实验：任务清单命令核心
闭卷重建实验：任务清单命令核心的对象、状态、事件、不变量与一个失败反例。
6实验：项目验收报告
闭卷重建实验：项目验收报告的对象、状态、事件、不变量与一个失败反例。
7答辩：解释、演示与复盘
闭卷重建答辩：解释、演示与复盘的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：数据模型与模块边界必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕数据模型与模块边界先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：数据模型与模块边界不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：项目章程与验收标准必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕项目章程与验收标准先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：项目章程与验收标准不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：测试、错误处理与发布门槛必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕测试、错误处理与发布门槛先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：测试、错误处理与发布门槛不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：迭代计划与垂直切片必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕迭代计划与垂直切片先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：迭代计划与垂直切片不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：项目验收报告必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：项目验收报告先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：项目验收报告不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：任务清单命令核心必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：任务清单命令核心先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：任务清单命令核心不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：答辩：解释、演示与复盘必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕答辩：解释、演示与复盘先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：答辩：解释、演示与复盘不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。