1命题逻辑语法与语义
闭卷重建命题逻辑语法与语义的对象、公式、算例、算法与失败边界。
人工智能基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2等价、蕴含与可满足性
闭卷重建等价、蕴含与可满足性的对象、公式、算例、算法与失败边界。
3CNF变换
闭卷重建CNF变换的对象、公式、算例、算法与失败边界。
4归结推理
闭卷重建归结推理的对象、公式、算例、算法与失败边界。
5Horn子句与前向链
闭卷重建Horn子句与前向链的对象、公式、算例、算法与失败边界。
6DPLL与SAT搜索
闭卷重建DPLL与SAT搜索的对象、公式、算例、算法与失败边界。
7知识库测试与解释
闭卷重建知识库测试与解释的对象、公式、算例、算法与失败边界。