这是一份哈工大深圳校区《数理逻辑》考前复习提纲。
这份提纲编写的主要参考有任世军老师的幻灯片和 OpenCS 项目 中的众多笔记。内容上，这门课可以说属于离散数学课程，而它与自动机理论也有着相当紧密的联系，比较抽象，不过总体学习难度不大。
命题逻辑基础
PC 命题逻辑形式系统
ND 自然演绎推理系统
FC 一阶谓词演算形式系统
@Hans Wan