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