1从问题到输入输出
闭卷重建从问题到输入输出的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2前置条件与后置条件
闭卷重建前置条件与后置条件的对象、状态、事件、不变量与一个失败反例。
3例子、反例与边界
闭卷重建例子、反例与边界的对象、状态、事件、不变量与一个失败反例。
4状态与逐步执行
闭卷重建状态与逐步执行的对象、状态、事件、不变量与一个失败反例。
5把大问题分成可验证子问题
闭卷重建把大问题分成可验证子问题的对象、状态、事件、不变量与一个失败反例。
6实验：规格一致性检查器
闭卷重建实验：规格一致性检查器的对象、状态、事件、不变量与一个失败反例。
7实验：区间判定程序
闭卷重建实验：区间判定程序的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：前置条件与后置条件必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕前置条件与后置条件先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：前置条件与后置条件不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：从问题到输入输出必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕从问题到输入输出先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：从问题到输入输出不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：状态与逐步执行必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕状态与逐步执行先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：状态与逐步执行不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：例子、反例与边界必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕例子、反例与边界先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：例子、反例与边界不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：规格一致性检查器必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：规格一致性检查器先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：规格一致性检查器不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：把大问题分成可验证子问题必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕把大问题分成可验证子问题先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：把大问题分成可验证子问题不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：区间判定程序必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：区间判定程序先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：区间判定程序不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。