2017年北京航空航天大学数理逻辑考博大纲博士研究生入学考试大纲-考博信息网

2017年北京航空航天大学数理逻辑考博大纲博士研究生入学考试大纲

北京航空航天大学
2017 年招收博士研究生入学考试大纲
数理逻辑考试大纲（50 分）
一、考试要求
1、理解谓词逻辑模型的定义与语句真值的定义；掌握谓词逻辑的紧
致性、可靠性、完备性以及推理规则独立性的证明，熟悉归结原
理及其应用；了解可判定性，了解谓词逻辑在计算机科学的应用。
2、理解直觉主义逻辑、模态逻辑语句真值的定义；掌握直觉主义逻
辑、模态逻辑形式推演方法，并明确它们与谓词逻辑推演方法的
区别；掌握直觉主义逻辑、模态逻辑的可靠性的证明，了解它们
完备性的证明及在计算机科学中的应用。
二、考试内容
(一)谓词逻辑
1、量词
2、一阶语言
3、语义
4、逻辑推论
5、形式推演
6、前束范式
7、可满足性和有效性
8、可靠性
9、极大协调性
10、完备性
11、独立性
12、紧致性

，更多更新年份持续更新，请在本站的考博信息网|www.kaoboinfo.com中的“考研试卷库”学校栏目中查询下载。

上一篇文章： 2017年北京航空航天大学数字信号处理考博大纲博士研究生入学考试大纲

下一篇文章： 2017年北京航空航天大学软件工程考博大纲博士研究生入学考试大纲

考博信息网提供全国高校历年考研真题，电子扫描版样张:

北京第二外国语学院821国际贸易与国际金融2010年考研真题

北京外国语大学翻译硕士专业学位（MTI）英汉互译（笔译）2010年考研真题