同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第三版) 网盘下载 pdf 免费 2025 在线 epub 电子版

为规范同等学力人员申请硕士学位的工作，确保学位授予的质量，国务院学位委员会第十六次会议决定对同等学力人员申请硕士学位增设学科综合水平全国统一考试。自1999年9月1日起，参加相应学科的学科综合水平全国统一考试并达到合格分数线者，方可以同等学力申请硕士学位。

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

第一部分　数学基础课程

　离散数学与组合数学

第二部分　专业知识课程

　计算机系统结构

　计算机网络

　软件工程

　人工智能原理

　计算机图形学

考试样卷

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

　　第一部分　数学基础课程

　　离散数学与组合数学

　　二、复习指南

（一）命题逻辑的等值演算和推理演算

1.理解并掌握命题逻辑的基本概念，熟练掌握五个常用的命题联结词及其真值表，掌握命题与真值表的关系，以及由简单命题通过联结词构造复合命题的方法。

2.掌握重言式、永假式和可满足公式的区别与判别方法；理解命题形式化的步骤与方法，能够熟练地将简单自然语句利用命题联结词进行形式化。

3.掌握和理解命题公式等值的概念，掌握命题公式等值的判别方法。

4.熟悉基本的等值公式；对于常用的等值公式，能在理解的基础上熟记并能在等值演算中灵活使用。

5.了解联结词完备集的概念，掌握判别联结词完备集的方法，了解对偶式的基本概念。

6.理解范式的概念和范式定理，深入理解主析取范式和主合取范式的构成，能够熟练地将命题公式化成相应的主析取范式和主合取范式。

7.理解推理公式的基本结构，熟悉基本的推理公式，掌握推理公式的不同证明方法。

8.理解基本的推理规则，掌握使用推理规则进行推理演算的方法。

9.理解归结推理规则，掌握用归结推理法证明的方法。

10.了解命题逻辑的公理系统的概念和基本构成，进行定理推演的过程和方法。

（二）谓词逻辑的等值演算和推理演算

1.理解谓词、个体词、函数和量词的概念，重点解决使用谓词逻辑描述自然语句的表达问题，能够熟练地将一些复杂的自然语句进行形式化描述。

2.了解有限域下全称量词和存在量词的表示法，理解它在谓词逻辑中的重要作用。

3.了解普遍有效公式、可满足式和不可满足式的概念和划分方法，知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。

4.理解谓词逻辑公式等值的概念，掌握否定型等值式的不同形式及其证明方法。

5.了解量词对不同联结词的分配律，掌握量词分配等值式的证明方法。

6.理解范式的概念，掌握前束范式的定义以及Skolem标准形的构成，会求谓词逻辑公式的前束范式和仅保留全称量词的前束范式。

7.熟悉谓词逻辑的基本推理公式，能够给出解释性的证明和其他推理公式正确性的判断。

8.理解谓词逻辑有关量词的四条推理规则，掌握使用推理规则进行推理演算的方法。

9.理解谓词逻辑的归结推理法的证明过程，掌握用归结法证明推理公式的方法。

　　……

在线阅读地址：同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第三版)在线阅读

在线听书地址：同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第三版)在线收听

在线购买地址：同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第三版)在线购买

暂无原文赏析，正在全力查找中！

书摘插图

书籍介绍

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

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