1参数、返回值与调用帧
闭卷重建参数、返回值与调用帧的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2纯函数、副作用与作用域
闭卷重建纯函数、副作用与作用域的对象、状态、事件、不变量与一个失败反例。
3契约、断言与防御检查
闭卷重建契约、断言与防御检查的对象、状态、事件、不变量与一个失败反例。
4函数分解与组合
闭卷重建函数分解与组合的对象、状态、事件、不变量与一个失败反例。
5实验：契约驱动统计函数
闭卷重建实验：契约驱动统计函数的对象、状态、事件、不变量与一个失败反例。
6实验：安全除法函数
闭卷重建实验：安全除法函数的对象、状态、事件、不变量与一个失败反例。
7实验：分段计费函数
闭卷重建实验：分段计费函数的对象、状态、事件、不变量与一个失败反例。