点击选择搜索分类
首页 - 建筑经济- 正文
☆☆☆☆☆
||
国务院学位委员会办公室 编
出版社: 高等教育出版社 ISBN:9787040289435 版次:3 商品编码:10126585 包装:平装 开本:32开 出版时间:2010-02-01 页数:72 正文语种:中文,英语 附件:服务卡 附件数量:1
进行学科综合水平考试旨在加强国家对授予同等学力人员硕士学位的宏观质量控制、规范管理,是国家组织的对申请硕士学位的同等学力人员进行专业知识结构与水平认定的重要环节。1998年,我们组织专家编写并出版了《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年,在总结经验的基础上,我们组织有关专家进行了修订。六年来,根据广大考生和有关专家的建议,在总结统一考试经验的基础上,我们组织有关方面的专家对《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)》进行了第二次修订。经过修订的新大纲(第三版)将是今后几年同等学力人员申请硕士学位计算机科学与技术学科综合水平考试统一命题的依据,是各院校进行有关教学和辅导的参考,也可作为应试者复习和备考的参考资料。
离散数学与组合数学
第二部分 专业知识课程
计算机系统结构
计算机网络
软件工程
人工智能原理
计算机图形学
考试样卷
7.理解推理公式的基本结构,熟悉基本的推理公式,掌握推理公式的不同证明方法。
8.理解基本的推理规则,掌握使用推理规则进行推理演算的方法。
9.理解归结推理规则,掌握用归结推理法证明的方法。
10.了解命题逻辑的公理系统的概念和基本构成,进行定理推演的过程和方法。
(二)谓词逻辑的等值演算和推理演算
1.理解谓词、个体词、函数和量词的概念,重点解决使用谓词逻辑描述自然语句的表达问题,能够熟练地将一些复杂的自然语句进行形式化描述。
2.了解有限域下全称量词和存在量词的表示法,理解它在谓词逻辑中的重要作用。
3.了解普遍有效公式、可满足式和不可满足式的概念和划分方法,知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。
4.理解谓词逻辑公式等值的概念,掌握否定型等值式的不同形式及其证明方法。
5.了解量词对不同联结词的分配律,掌握量词分配等值式的证明方法。
6.理解范式的概念,掌握前束范式的定义以及skolem标准形的构成,会求谓词逻辑公式的前束范式和仅保留全称量词的前束范式。
7.熟悉谓词逻辑的基本推理公式,能够给出解释性的证明和其他推理公式正确性的判断。
8.理解谓词逻辑有关量词的四条推理规则,掌握使用推理规则进行推理演算的方法。
9.理解谓词逻辑的归结推理法的证明过程,掌握用归结法证明推理公式的方法。
进行学科综合水平考试旨在加强国家对授予同等学力人员硕士学位的宏观质量控制、规范管理,是国家组织的对申请硕士学位的同等学力人员进行专业知识结构与水平认定的重要环节。1998年,我们组织专家编写并出版了《同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南》。2003年,在总结经验的基础上,我们组织有关专家进行了修订。六年来,根据广大考生和有关专家的建议,在总结统一考试经验的基础上,我们组织有关方面的专家对本书进行了第二次修订。经过修订的新大纲(第三版)将是今后几年同等学力人员申请硕士学位计算机科学与技术学科综合水平考试统一命题的依据,是各院校进行有关教学和辅导的参考,也可作为应试者复习和备考的参考资料。
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) 电子书 下载 mobi epub pdf txt
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡)-so88
同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南(第3版)(附增值服务卡) pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
国务院学位委员会办公室 编
出版社: 高等教育出版社 ISBN:9787040289435 版次:3 商品编码:10126585 包装:平装 开本:32开 出版时间:2010-02-01 页数:72 正文语种:中文,英语 附件:服务卡 附件数量:1
内容简介
为规范同等学力人员申请硕士学位的工作,确保学位授予的质量,国务院学位委员会第十六次会议决定对同等学力人员申请硕士学位增设学科综合水平全国统一考试。自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版)(附增值服务卡) 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 三磅宇宙与神奇心智(2017年中国好书)
- 中国史学史(套装全3册)
- 品尝的科学:从地球生命的口:到饮食科学研究前沿 9787550299931
- 汽车维修全工种精选套系(京东套装共5册)
- 儿童百科全书(千奇百怪的动植物学生版)/探索天下
- 中国史纲
- 如果舌尖能思考 一节生姜著 食品安全科普书 舌尖上的安全科普读物 美食文化书 美食鉴赏品鉴书 百科知
- 被误解的台湾史:1553~1860之史实未必是事实
- 满58包邮 叶永烈科普全集(28卷) 9787220102752 叶永烈 四川人民出版社
- 萌多肉小典
- 深海怪兽跑出来了:超好玩的AR互动4D海洋动物小百科9787508666006【新华书店
- 二手正版犬保健与医治课堂--大型连锁动物医院临床专家坐诊 杨荣,张海云 978750632
- 满58包邮 伴星共生 9787535795670 藤井旭 湖南科技出版社
- 圆形珠宝花束--52款完美的新娘捧花
- 狡猾的发明 震撼的装备