1序列索引、切片与别名
闭卷重建序列索引、切片与别名的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2元组与不可变记录
闭卷重建元组与不可变记录的对象、状态、事件、不变量与一个失败反例。
3集合与去重
闭卷重建集合与去重的对象、状态、事件、不变量与一个失败反例。
4字典与键值建模
闭卷重建字典与键值建模的对象、状态、事件、不变量与一个失败反例。
5实验：成绩簿聚合
闭卷重建实验：成绩簿聚合的对象、状态、事件、不变量与一个失败反例。
6实验：稳定去重
闭卷重建实验：稳定去重的对象、状态、事件、不变量与一个失败反例。
7实验：词频统计
闭卷重建实验：词频统计的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：元组与不可变记录必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕元组与不可变记录先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：元组与不可变记录不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：序列索引、切片与别名必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕序列索引、切片与别名先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：序列索引、切片与别名不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：字典与键值建模必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕字典与键值建模先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：字典与键值建模不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：集合与去重必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕集合与去重先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：集合与去重不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：稳定去重必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：稳定去重先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：稳定去重不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：成绩簿聚合必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：成绩簿聚合先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：成绩簿聚合不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：词频统计必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：词频统计先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：词频统计不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。