内容简介
为规范同等学力人员申请硕士学位的工作,确保学位授予的质量,国务院学位委员会第十六次会议决定对同等学力人员申请硕士学位增设学科综合水平全国统一考试。自1999年9月1日起,参加相应学科的学科综合水平全国统一考试并达到合格分数线者,方可以同等学力申请硕士学位。
进行学科综合水平考试旨在加强国家对授予同等学力人员硕士学位的宏观质量控制、规范管理,是国家组织的对申请硕士学位的同等学力人员进行专业知识结构与水平认定的重要环节。1998年,我们组织专家编写并出版了《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年,在总结经验的基础上,我们组织有关专家进行了修订。六年来,根据广大考生和有关专家的建议,在总结统一考试经验的基础上,我们组织有关方面的专家对《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)》进行了第二次修订。经过修订的新大纲(第三版)将是今后几年同等学力人员申请硕士学位计算机科学与技术学科综合水平考试统一命题的依据,是各院校进行有关教学和辅导的参考,也可作为应试者复习和备考的参考资料。
内页插图
目录
第一部分 数学基础课程
离散数学与组合数学
第二部分 专业知识课程
计算机系统结构
计算机网络
软件工程
人工智能原理
计算机图形学
考试样卷
精彩书摘
6.理解范式的概念和范式定理,深入理解主析取范式和主合取范式的构成,能够熟练地将命题公式化成相应的主析取范式和主合取范式。
7.理解推理公式的基本结构,熟悉基本的推理公式,掌握推理公式的不同证明方法。
8.理解基本的推理规则,掌握使用推理规则进行推理演算的方法。
9.理解归结推理规则,掌握用归结推理法证明的方法。
10.了解命题逻辑的公理系统的概念和基本构成,进行定理推演的过程和方法。
(二)谓词逻辑的等值演算和推理演算
1.理解谓词、个体词、函数和量词的概念,重点解决使用谓词逻辑描述自然语句的表达问题,能够熟练地将一些复杂的自然语句进行形式化描述。
2.了解有限域下全称量词和存在量词的表示法,理解它在谓词逻辑中的重要作用。
3.了解普遍有效公式、可满足式和不可满足式的概念和划分方法,知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。
4.理解谓词逻辑公式等值的概念,掌握否定型等值式的不同形式及其证明方法。
5.了解量词对不同联结词的分配律,掌握量词分配等值式的证明方法。
6.理解范式的概念,掌握前束范式的定义以及skolem标准形的构成,会求谓词逻辑公式的前束范式和仅保留全称量词的前束范式。
7.熟悉谓词逻辑的基本推理公式,能够给出解释性的证明和其他推理公式正确性的判断。
8.理解谓词逻辑有关量词的四条推理规则,掌握使用推理规则进行推理演算的方法。
9.理解谓词逻辑的归结推理法的证明过程,掌握用归结法证明推理公式的方法。
前言/序言
为规范同等学力人员申请硕士学位的工作,确保学位授予的质量,国务院学位委员会第十六次会议决定对同等学力人员申请硕士学位增设学科综合水平全国统一考试。自1999年9月1日起,参加相应学科的学科综合水平全国统一考试并达到合格分数线者,方可以同等学力申请硕士学位。
进行学科综合水平考试旨在加强国家对授予同等学力人员硕士学位的宏观质量控制、规范管理,是国家组织的对申请硕士学位的同等学力人员进行专业知识结构与水平认定的重要环节。1998年,我们组织专家编写并出版了《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年,在总结经验的基础上,我们组织有关专家进行了修订。六年来,根据广大考生和有关专家的建议,在总结统一考试经验的基础上,我们组织有关方面的专家对本书进行了第二次修订。经过修订的新大纲(第三版)将是今后几年同等学力人员申请硕士学位计算机科学与技术学科综合水平考试统一命题的依据,是各院校进行有关教学和辅导的参考,也可作为应试者复习和备考的参考资料。
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) epub pdf mobi txt 电子书 下载 2024
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) 下载 epub mobi pdf txt 电子书 2024
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) mobi pdf epub txt 电子书 下载 2024
评分
☆☆☆☆☆
买了很多书都不看,希望这次能看
评分
☆☆☆☆☆
物流超快,包装完好,书籍编写有条理,组织架构明了,不错
评分
☆☆☆☆☆
为了考试还是有必要买一本的
评分
☆☆☆☆☆
还行吧,送货很快,很薄
评分
☆☆☆☆☆
第二部分 软件工程 b计算机图形学 进行学e科综合水平考试旨在加强国家对授予同等学力人员硕士g学位的宏观质量控制、规范h管理,是国家组织的对申请硕士学位的同等学力人员进kl行专业知识结构与水平认定的重要环节。1998年,我们组织专家编写并出版了《同p等学力人员申请硕士学位t计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年,在总结经验的基w础上,我们组织有关专x家进行了修订。六年来,根据广z大考生和有关专家的建B议,D在总结统一考试经验的C基础上,我们组织有关方面的专E家对本书进行了第二次修G订。经过修订的新大纲(第H三H版)将是今后几年同等学J力J人员申请硕士学位计算机科学与技术学科综合水平考试统MM一命题的依据,是各院校进行有关教学和辅导的参考,也可作为应试者复习和备考的参考资料。 6.理解范式T的概念和范式定理,深入理解主析取范式和主合取范式的W构成,能够熟练地将命题公式化成相应的主析取范式和主合Z取范式。
评分
☆☆☆☆☆
还行吧,送货很快,很薄
评分
☆☆☆☆☆
考试过关考试过关考试过关
评分
☆☆☆☆☆
还行吧,送货很快,很薄
评分
☆☆☆☆☆
好,以前从不去评价,不知道浪费了多少积分,现在知道积分可以换钱,就要好好评价了,后来我就把这段话复制走了,既能赚积分,还省事,走到哪复制到哪,最重要的是,不用认真的评论了,不用想还差多少字,直接发出就可以了,推荐给大家!
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) epub pdf mobi txt 电子书 下载 2024