一、考试方式 

复试由笔试和面试两部分组成。 

笔试时间3小时，总分100分。 

 二、笔试预备知识 

· 经典命题逻辑，包括：形式语言，形式语义，形式系统（公理系统以及自然演绎系统），可靠性定理和完全性定理及相关证明； 

· 一阶逻辑，包括：形式语言，形式语义，形式系统（公理系统以及自然演绎系统），可靠性定理和完全性定理及相关证明；

· 一阶模型论，包括：紧致性定理，Lowenheim－Skolem定理，部分同构（partial isomorphism）与同构，初等嵌入（elementary embedding），初等图（elementary diagram）与图

· 命题模态逻辑，包括：形式语言，关系语义，几个基本的形式系统的可靠性定理和完全性定理及相关证明，框架对应的定义、基本结果及相关证明，框架性质不可定义的基本结果及相关证明，互模拟（bisimulation）及相关结果。

· 与上述内容相关的素朴集合论知识

三、面试内容 

面试流程：25分钟学术报告（报告题目自选）；提问回答；专业英语测试。 

四、笔试参考资料 

笔试参考资料包括但不限于以下书目（按出版时间排列）： 

郝兆宽，杨睿之，杨跃，《数理逻辑：证明及其限度》（第二版），复旦大学出版社，2020 

余俊伟，赵晓玉，裘江杰，张立英，《数理逻辑》，中国人民大学出版社，2020 

赵希顺，《简明数理逻辑》，科学出版社，2021 

文学锋，《模态逻辑教程》，科学出版社，2021