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

友情提示：本站提供全国400多所高等院校招收硕士、博士研究生入学考试历年考研真题、考博真题、答案，部分学校更新至2012年，2013年；均提供收费下载。 下载流程： 考研真题 点击“考研试卷””下载; 考博真题 点击“考博试卷库” 下载 

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

免责声明：本文系转载自网络，如有侵犯，请联系我们立即删除，另：本文仅代表作者个人观点，与本网站无关。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。

相关文章

最新内容
推荐内容

Copyright © 2008-2026 五速梦信息网 版权所有。

蜀ICP备2025158979号-1 | 川公网安备51010502015432号 网站地图

本站所有信息均来源于互联网搜集，并不代表本站观点，本站不对其真实合法性负责。如有信息侵犯了您的权益，请告知，本站将立刻删除。