1参数、返回值与调用帧
闭卷重建参数、返回值与调用帧的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2纯函数、副作用与作用域
闭卷重建纯函数、副作用与作用域的对象、状态、事件、不变量与一个失败反例。
3契约、断言与防御检查
闭卷重建契约、断言与防御检查的对象、状态、事件、不变量与一个失败反例。
4函数分解与组合
闭卷重建函数分解与组合的对象、状态、事件、不变量与一个失败反例。
5实验：契约驱动统计函数
闭卷重建实验：契约驱动统计函数的对象、状态、事件、不变量与一个失败反例。
6实验：安全除法函数
闭卷重建实验：安全除法函数的对象、状态、事件、不变量与一个失败反例。
7实验：分段计费函数
闭卷重建实验：分段计费函数的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：纯函数、副作用与作用域必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕纯函数、副作用与作用域先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：纯函数、副作用与作用域不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：参数、返回值与调用帧必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕参数、返回值与调用帧先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：参数、返回值与调用帧不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：函数分解与组合必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕函数分解与组合先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：函数分解与组合不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：契约、断言与防御检查必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕契约、断言与防御检查先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：契约、断言与防御检查不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：安全除法函数必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：安全除法函数先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：安全除法函数不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：契约驱动统计函数必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：契约驱动统计函数先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：契约驱动统计函数不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：分段计费函数必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：分段计费函数先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：分段计费函数不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。