1小步操作语义
闭卷重建小步操作语义的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2大步操作语义
闭卷重建大步操作语义的对象、公式、算例、算法与失败边界。
3表达式求值与未定义行为
闭卷重建表达式求值与未定义行为的对象、公式、算例、算法与失败边界。
4顺序、条件与循环规则
闭卷重建顺序、条件与循环规则的对象、公式、算例、算法与失败边界。
5非确定选择
闭卷重建非确定选择的对象、公式、算例、算法与失败边界。
6异常、断言与卡死
闭卷重建异常、断言与卡死的对象、公式、算例、算法与失败边界。
7语义等价与精化
闭卷重建语义等价与精化的对象、公式、算例、算法与失败边界。