首页 医学英语 考博攻略 特惠课程 历年真题

新东方在线 > 考博 > 考博复习资料 > 正文
医学英语全程班优惠 考博英语全程班特惠

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

2016-10-02 08:28:00来源：网络

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

　　博士研究生招生院校发布的考博大纲是考生们参考复习的权威资料，考试大纲包括了考博考试内容范围、考试题型和分值分配，有时其中还会包括参考书目。请考生们认真阅读。

　　数理逻辑考试大纲(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的完备性


考博必备！历年真题及答案

考博精品好课，就选新东方！

本文关键字: 北京航空航天大学 博士研究生 考试大纲

关注新东方在线服务号

回复【考博真题】领取备考必看真题集

更多资料

关注新东方在线服务号

关注新东方在线服务号，
免费获取考博必看干货资料

  • 1.打开手机微信【扫一扫】，识别上方二维码；
  • 2.点击【关注公众号】，回复对应关键字领取学习资料。
更多>>
更多内容
更多>>
更多好课>>
更多>>
更多资料
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10