点击选择搜索分类
首页 - 工程监理- 正文
☆☆☆☆☆
||
国务院学位委员会办公室 编
出版社: 高等教育出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 超霸舰艇-兵器帝国大揭秘-儿童视觉大系
- 医本正经 一本会卖萌的中医书
- 推动丛书物理系列:量子之谜 【美】布鲁斯罗森布罗姆【美】弗雷德库特纳
- 京东正版现货 生命如此美丽 献给所有与癌症抗争的人们 张贵平著 山东科学技术出版社
- 趣味物理学
- 正版现货 傷寒論校注 中醫古籍整理叢書重刊 一九八二国家中医古籍整理出版规划 刘渡舟/主
- {RT}解读基因的密码-《科学传奇——探索人体的奥秘》编委会 西南交通大学出版社 9787
- 100岁,不痴呆 [日] 白泽卓二 著 光明书架
- 正版新书--数学都知道3 蒋迅、王淑红 北京师范大学出版社
- 经络养生全图解
- 物种起源
- 正版 新概念英语2 课课练 新版 新概念英语名师编写组 北京理工大学出版社 附参考答案
- #探索学科科学奥秘丛书:有趣的化学 《探索学科科学奥秘丛书》编委会
- 宝宝成长纪念册
- {RT}我们如何走到今天:改变世界的7种元素-[英]约翰·布朗;薛露然 中信出版社 978