1模块为何存在
闭卷重建模块为何存在的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2导入、命名空间与入口
闭卷重建导入、命名空间与入口的对象、状态、事件、不变量与一个失败反例。
3接口与实现分离
闭卷重建接口与实现分离的对象、状态、事件、不变量与一个失败反例。
4依赖方向与可替换性
闭卷重建依赖方向与可替换性的对象、状态、事件、不变量与一个失败反例。
5文档字符串与使用示例
闭卷重建文档字符串与使用示例的对象、状态、事件、不变量与一个失败反例。
6实验：单位转换接口
闭卷重建实验：单位转换接口的对象、状态、事件、不变量与一个失败反例。
7实验：可替换折扣策略
闭卷重建实验：可替换折扣策略的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：导入、命名空间与入口必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕导入、命名空间与入口先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：导入、命名空间与入口不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：模块为何存在必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕模块为何存在先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：模块为何存在不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：依赖方向与可替换性必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕依赖方向与可替换性先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：依赖方向与可替换性不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：接口与实现分离必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕接口与实现分离先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：接口与实现分离不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：单位转换接口必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：单位转换接口先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：单位转换接口不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：文档字符串与使用示例必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕文档字符串与使用示例先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：文档字符串与使用示例不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：可替换折扣策略必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：可替换折扣策略先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：可替换折扣策略不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。