[考博复习资料]北京航空航天大学2016博士研究生招生数理逻辑大纲_考博_旭晨教育

北京航空航天大学2016博士研究生招生数理逻辑大纲

研究院校发布的 考博大纲 是考博考生们了解考博科目考试内容、题型及分值的重要参照物，旭晨教育整理了北京航空航天大学2016博士研究生招生数理逻辑大纲供考生们复习。

数理逻辑考试大纲(50分)

一、考试要求

1、理解谓词逻辑模型的定义与语句真值的定义;掌握谓词逻辑的紧致性、可靠性、完备性以及推理规则独立性的证明，熟悉归结原理及其应用;了解可判定性，了解谓词逻辑在计算机科学的应用。

2、理解直觉主义逻辑、模态逻辑语句真值的定义;掌握直觉主义逻辑、模态逻辑形式推演方法，并明确它们与谓词逻辑推演方法的区别;掌握直觉主义逻辑、模态逻辑的可靠性的证明，了解它们完备性的证明及在计算机科学中的应用。

二、考试内容

(一)谓词逻辑

1、量词

2、一阶语言

3、语义

4、逻辑推论

5、形式推演

6、前束范式

7、可满足性和有效性

8、可靠性

9、极大协调性

10、完备性

11、独立性

12、紧致性

13、Horn子句及 Skolem 范式

14、Herbrand定理

15、可判定性和不可判定性

(二)直觉主义逻辑

1、证明的构造性

2、形式推演

3、框架与语义

4、可靠性

5、完备性

(三)模态逻辑

1、可能性与必然性

2、知识或信念

3、形式推演

4、框架与语义

5、可靠性

6、T,S4和S5的完备性