欢迎访问考研秘籍考研网!    研究生招生信息网    考博真题下载    考研真题下载    全站文章索引
文章搜索   高级搜索   

 您现在的位置: 考研秘籍考研网 >> 文章中心 >> 笔记讲义 >> 正文  2017年北京航空航天大学数理逻辑考博大纲博士研究生入学考试大纲

新闻资讯
普通文章 上海市50家单位网上接受咨询和报名
普通文章 北京大学生“就业之家”研究生专场招聘场面火爆
普通文章 厦大女研究生被杀案终审判决 凶手被判死刑
普通文章 广东八校网上试点考研报名将开始
普通文章 2004年硕士北京招生单位报名点一览
普通文章 洛阳高新区21名硕士研究生被聘为中层领导
普通文章 浙江省硕士研究生报名从下周一开始
普通文章 2004年上海考区网上报名时间安排表
普通文章 广东:研究生入学考试2003年起重大调整
普通文章 2004年全国研招上海考区报名点一览表
调剂信息
普通文章 宁夏大学04年硕士研究生调剂信息
普通文章 大连铁道学院04年硕士接收调剂生源基本原则
普通文章 吉林大学建设工程学院04年研究生调剂信息
普通文章 温州师范学院(温州大学筹)05研究生调剂信息
普通文章 佳木斯大学04年考研调剂信息
普通文章 沈阳建筑工程学院04年研究生调剂信息
普通文章 天津师范大学政治与行政学院05年硕士调剂需求
普通文章 第二志愿考研调剂程序答疑
普通文章 上海大学04年研究生招收统考生调剂信息
普通文章 广西大学04年硕士研究生调剂信息

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

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

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

  • 上一篇文章:

  • 下一篇文章:
  • 考博咨询QQ 3455265070 点击这里给我发消息 考研咨询 QQ 3455265070 点击这里给我发消息 邮箱: 3455265070@qq.com
    公司名称:昆山创酷信息科技有限公司 版权所有
    考研秘籍网 版权所有 © kaoyanmiji.com All Rights Reserved
    声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载或引用的作品侵犯了您的权利,请通知我们,我们会及时删除!