11.7 - learncompiler/prj2_2020 GitHub Wiki
第二周进展 11.07
看 The Calculus of Computation 这本书，到正文 48 页即一阶逻辑 2.4 的部分。
读第一章主要的收获是
复习了命题逻辑的内容，加强了对可满足性(satisfiability） 和 有效性（validity)的理解。
1.7.3 将 PL 转换成等价的 CNF 形式
1.7.5 DPLL 算法
读第二章的部分目前：
复习了一阶谓词逻辑的定义和推导方法
看 The Calculus of Computation 这本书，到正文 48 页即一阶逻辑 2.4 的部分。
读第一章主要的收获是
复习了命题逻辑的内容，加强了对可满足性(satisfiability） 和 有效性（validity)的理解。
1.7.3 将 PL 转换成等价的 CNF 形式
1.7.5 DPLL 算法
读第二章的部分目前：
复习了一阶谓词逻辑的定义和推导方法