1名字、值与赋值
闭卷重建名字、值与赋值的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2整数、浮点与精度
闭卷重建整数、浮点与精度的对象、状态、事件、不变量与一个失败反例。
3布尔值与比较
闭卷重建布尔值与比较的对象、状态、事件、不变量与一个失败反例。
4类型转换与输入解析
闭卷重建类型转换与输入解析的对象、状态、事件、不变量与一个失败反例。
5表达式、优先级与不变量
闭卷重建表达式、优先级与不变量的对象、状态、事件、不变量与一个失败反例。
6实验：温度换算器
闭卷重建实验：温度换算器的对象、状态、事件、不变量与一个失败反例。
7实验：金额分解器
闭卷重建实验：金额分解器的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：整数、浮点与精度必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕整数、浮点与精度先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：整数、浮点与精度不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：名字、值与赋值必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕名字、值与赋值先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：名字、值与赋值不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：类型转换与输入解析必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕类型转换与输入解析先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：类型转换与输入解析不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：布尔值与比较必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕布尔值与比较先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：布尔值与比较不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：温度换算器必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：温度换算器先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：温度换算器不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：表达式、优先级与不变量必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕表达式、优先级与不变量先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：表达式、优先级与不变量不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：金额分解器必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：金额分解器先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：金额分解器不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。