1对象作为状态与行为
闭卷推导对象作为状态与行为的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2消息发送语义
闭卷推导消息发送语义的结构、状态与反例。
3类、原型与委托
闭卷推导类、原型与委托的结构、状态与反例。
4继承与动态分派
闭卷推导继承与动态分派的结构、状态与反例。
5子类型与替换原则
闭卷推导子类型与替换原则的结构、状态与反例。
6封装和对象能力
闭卷推导封装和对象能力的结构、状态与反例。
7最小对象解释器
闭卷推导最小对象解释器的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。