同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南

章节摘录

插图：6.理解范式的概念和范式定理，深入理解主析取范式和主合取范式的构成，能够熟练地将命题公式化成相应的主析取范式和主合取范式。7.理解推理公式的基本结构，熟悉基本的推理公式，掌握推理公式的不同证明方法。8.理解基本的推理规则，掌握使用推理规则进行推理演算的方法。9.理解归结推理规则，掌握用归结推理法证明的方法。10.了解命题逻辑的公理系统的概念和基本构成，进行定理推演的过程和方法。（二）谓词逻辑的等值演算和推理演算1.理解谓词、个体词、函数和量词的概念，重点解决使用谓词逻辑描述自然语句的表达问题，能够熟练地将一些复杂的自然语句进行形式化描述。2.了解有限域下全称量词和存在量词的表示法，理解它在谓词逻辑中的重要作用。3.了解普遍有效公式、可满足式和不可满足式的概念和划分方法，知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。4.理解谓词逻辑公式等值的概念，掌握否定型等值式的不同形式及其证明方法。5.了解量词对不同联结词的分配律，掌握量词分配等值式的证明方法。6.理解范式的概念，掌握前束范式的定义以及skolem标准形的构成，会求谓词逻辑公式的前束范式和仅保留全称量词的前束范式。7.熟悉谓词逻辑的基本推理公式，能够给出解释性的证明和其他推理公式正确性的判断。8.理解谓词逻辑有关量词的四条推理规则，掌握使用推理规则进行推理演算的方法。9.理解谓词逻辑的归结推理法的证明过程，掌握用归结法证明推理公式的方法。

书籍目录

第一部分　数学基础课程　离散数学与组合数学第二部分　专业知识课程　计算机系统结构　计算机网络　软件工程　人工智能原理　计算机图形学考试样卷

编辑推荐

《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)》是由高等教育出版社出版的。

作者简介

《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)》内容简介：为规范同等学力人员申请硕士学位的工作，确保学位授予的质量，国务院学位委员会第十六次会议决定对同等学力人员申请硕士学位增设学科综合水平全国统一考试。自1999年9月1日起，参加相应学科的学科综合水平全国统一考试并达到合格分数线者，方可以同等学力申请硕士学位。

进行学科综合水平考试旨在加强国家对授予同等学力人员硕士学位的宏观质量控制、规范管理，是国家组织的对申请硕士学位的同等学力人员进行专业知识结构与水平认定的重要环节。1998年，我们组织专家编写并出版了《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年，在总结经验的基础上，我们组织有关专家进行了修订。六年来，根据广大考生和有关专家的建议，在总结统一考试经验的基础上，我们组织有关方面的专家对《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)》进行了第二次修订。经过修订的新大纲（第三版）将是今后几年同等学力人员申请硕士学位计算机科学与技术学科综合水平考试统一命题的依据，是各院校进行有关教学和辅导的参考，也可作为应试者复习和备考的参考资料。

图书封面

---

 同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南下载

---