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