郑州大学研究生培养方案.docx

1、郑州大学研究生培养方案计算机科学与技术一级学科学术型硕士研究生培养方案1.学科名称、代码：计算机科学与技术、08122.专业与学科简介 “计算机科学与技术”学科的前身是创建于1972年的郑州大学计算技术专业,是河南省最早的计算机专业，其二级学科计算机软件与理论于1992年被国家教育部批准为硕士学位授权点，是1994-1996年度和1997 -1999年度河南省重点学科，并在2000年被确定为2001-2003年度河南省第一层次重点学科，2003年再次确定为2004-2006年度河南省第一层次重点建设学科，2003年另一个二级学科计算机应用技术被确定为河南省重点学科，2006年获得计算机科学与技

2、术一级硕士授权点和计算机软件与理论博士授权点，2008年确定计算机科学与技术为河南省一级重点学科。经过四十年的建设和积累，该学科已具有较好的硬件条件和学术积淀，形成了一支教学经验丰富，科研实力较强，职称结构、学历结构和年龄结构比较合理的研究队伍。3.培养目标本专业研究生必须认真学习掌握毛泽东思想、邓小平理论、“三个代表”重要思想和科学发展观，热爱祖国，品行端正，身心健康，具有自由创新精神，追求真理，献身科学教育事业的敬业精神和科学道德。本专业以培养能在国民经济建设、科学技术发展和社会进步中发挥积极作用的开创型、复合型高层次软件与理论型专门人才为目标。要求学生宽口径掌握坚实的基础理论和系统的专业

3、知识并能了解计算机科学与技术的最新成果和发展方向，掌握本学科的现代先进实验方法和技能，熟练掌握一门外国语，能独立从事本专业领域的科学研究或独立承担专门技术的能力，具有较强的创新能力和实践能力，有严谨求实的科学态度和学风。能胜任计算机科学与技术的教学、科研、软件系统开发等工作，达到中华人民共和国学位条例规定的硕士学位学术水平。4.修业年限学术学位硕士研究生的基本学制为3年，申请学位最长年限为4年，即自研究生入学之日起到校学位委员会讨论通过其学位论文的时间为4年。5.专业研究方向本学科包含三个二级学科方向：01计算机软件与理论这个学科方向主要从事软件理论、智能信息处理、数据挖掘、机器学习与智能系统

4、、分布式智能计算、信息安全、自然语言处理和移动计算等领域的研究。02计算机应用技术这个学科方向主要从事下一代互联网技术与应用、云计算环境下的多媒体信息处理技术、图形图像处理与计算机辅助设计、电子商务与电子政务、嵌入式系统设计、网格计算与分布式系统、虚拟现实、数据加密技术与网络安全以及与计算机应用技术相关的其他领域的研究。03计算机系统结构 这个学科方向主要从事并行计算、多核处理技术、高性能计算、嵌入式系统等领域的技术研究。6.课程设置计算机科学与技术学术型学位硕士研究生培养计划表1：计算机科学与技术学术型硕士研究生课程设置类别课程编号课程与培养环节名称学时学分开课学期学位课（26学分）公共必修

5、课995100202中国特色社会主义理论与实践研究3621995100104英语7241,2公共基础课995300303数理统计与随机过程4831专业基础课175550103计算理论(Theory of computation)4831175550203组合数学(Combinatorial mathematics)4831175550303高级人工智能(Advanced artificial intelligence)4831175550403高级软件工程(Advanced software engineering)4832175550503高级计算机网络(Advanced computer

6、network)4831必选（非学位课）175550602计算机科学与技术（全英）(Computer Science and Technology)3622公共选修课（1学分）995200101自然辩证法概论（理工医科）3211175655102面向对象分析与设计(Object oriented analysis and design)3222175655202数据仓库与数据挖掘(Data warehouse and data mining)3222175655302高级计算机系统结构(Advanced computer system architecture)3222175655402形式语

7、言与自动机(formal language and Automata)3222175655502形式语义学(Formal semantics)3222175655602数据库设计与应用(Design and application of database)3222175655702Petri网理论(Petri network Theory)3222175655802访问控制技术(Access control technology)3222175655902嵌入式系统(Embedded system)3222175656002网络安全技术(Network security technology)

8、3222175656102数字图像处理(Digital image processing)3222175656202多媒体技术(Multimedia technology)3222175656302高性能计算(High performance computing)3222175656402密码学(Cryptography)3222175656502并行计算(Parallel computing)3222175656602网格计算与云计算(Grid computing And Cloud computing)3222175656702自然语言处理(Natural language process

9、ing)3222175656802信息检索(Information retrieval)3222175656902计算机逻辑学(Computer logic)3222175657002人工神经网络(Artificial neural network)3222175657102高级计算机图形学(Advanced computer graphics)3222学术/实践995400201学术报告(Academic report)11,2,3,4,5,6995400101教学实践(Teaching practice)12,3论文995400302开题报告(Opening report)23995400

10、402中期考核(Mid-term examination)4995499912硕士论文(Masters thesis)24,5,6995400502预答辩(preliminary defense)26硕士论文毕业答辩(graduation defense of Masters thesis)1267.攻读学位的学分要求课程设置实行学分制。本专业硕士研究生必须修满最低学分数为35学分，其中必修课不低于24学分，选修课不低于8学分。即 公共学位课3门，9学分； 专业学位课5-6门，不低于15学分； 专业选修课的学分不低于8学分； 培养环节中参加研究生学术论坛或听学术报告1学分，进行实践训练1学分，

11、其他不计入学分。此外，在第一年培养计划内，鼓励学生在导师的指导下，跨学科、系选修其它课程，多选修本系的其它相关课程。表2：具体学分分布表硕士学位课程学分公共必修课6学分35学分公共选修课1学分公共基础课3学分专业基础课17学分专业选修课8学分论文学分开题报告2学分18学分中期考核2学分预答辩2学分学位论文12学分其它学术活动12学分实践环节1说明：同等学历必须补修该专业本科主干课程45门，考试及格，不计学分。跨学科硕士研究生至少选修该专业本科主干课程34门，考试及格，不计学分。8.学位论文硕士研究生课题研究时间不少于1年，论文要求字数不少于3万字，硕士学位论文对所研究的课题应当有新见解。在学期

12、间发表学术论文按照郑州大学研究生在学期间发表论文的基本要求执行。研究生修满培养计划内所有学分，并通过论文答辩，则准予毕业；经院系学位评定分委员会审核，报校学位评定委员会讨论通过后授予学位。学位授予按照郑州大学学位授予工作实施细则及学位管理相关文件执行。9.培养方式与方法研究生培养方式应灵活多样，充分发挥导师指导研究生的主导作用，建立和完善有利于发挥学术群体作用的培养机制。强调在培养过程中发挥研究生的主动性和自觉性，更多地采用启发式、研讨式的互动教学方式。研究生必须参加学术讲座、学术报告、讨论班、社会实践和社会调查，并获得相应的学分。加强研究生的自学能力、动手能力、表达能力和写作能力的训练和培养

13、。附件一：计算机科学与技术学术型学位硕士研究生培养计划序号课程代码课程名称学时学分必修或选修课程类型是否 学位课1995100202中国特色社会主义理论与实践研究Theory and practice of socialism with Chinese characteristics362必修公共必修课是2995900104英语(硕士) English for Graduated Student724必修公共必修课是3995200101自然辩证法概论181选修公共选修课否4995400201学术活动(硕士)1必修学术活动否5995400101实践环节(硕士)1必修实践环节否6995400302

14、开题报告(硕士)2必修培养过程否7995400402中期考核(硕士)2必修培养过程否8995400502预答辩(硕士)2必修培养过程否9995499912硕士论文12必修培养过程否10995300303数理统计与随机过程483必修公共基础课是11175500602计算机科学与技术（全英语）Computer Science & Technology 362必修专业基础课否12175500103计算理论Theory of computation483必修专业基础课是13175500203组合数学Combinatorial mathematics483必修专业基础课是14175550303高级人工智

15、能Advanced artificial intelligence483必修专业基础课是15175550403高级软件工程Advanced software engineering483必修专业基础课是16175550503高级计算机网络Advanced computer network483必修专业基础课是17175655102面向对象分析与设计Object oriented analysis and design322选修专业选修课否18175655202数据仓库与数据挖掘Data warehouse and data mining322选修专业选修课否19175655302高级计算机系统

16、结构Advanced computer system architecture322选修专业选修课否20175655402形式语言与自动机formal language and Automata322选修专业选修课否21175655502形式语义学Formal semantics322选修专业选修课否22175655602数据库设计与应用Design and application of database322选修专业选修课否23175655702Petri网理论Petri network Theory322选修专业选修课否24175655802访问控制技术Access control tec

17、hnology322选修专业选修课否25175655902嵌入式系统Embedded system322选修专业选修课否26175656002网络安全技术Network security technology322选修专业选修课否27175656102数字图像处理Digital image processing322选修专业选修课否28175656202多媒体技术Multimedia technology322选修专业选修课否29175656302高性能计算High performance computing322选修专业选修课否30175656402密码学Cryptography322选修专

18、业选修课否31175656502并行计算Parallel computing322选修专业选修课否32175656602网格计算与云计算Grid computing And Cloud computing322选修专业选修课否33175656702自然语言处理Natural language processing322选修专业选修课否34175656802信息检索Information retrieval322选修专业选修课否35175656902计算机逻辑学Computer logic322选修专业选修课否36175657002人工神经网络Artificial neural network3

19、22选修专业选修课否37175657102高级计算机图形学Advanced computer graphics322选修专业选修课否附件二：计算机科学与技术学术型硕士研究生教学大纲计算机科学与技术（全英语）课程名称计算机科学与技术（全英语）英文名称Computer science and technology课程代码175500602所属院系信息工程学院学时36学分2课程类型专业基础课开课学期第一学年第二学期授课方式讲授考核方式开卷考试任课教师石磊、牛常勇、郑志蕴、徐明亮课程简介本课程是采用计算机科学与技术前沿系列讲座方式，主要内容为计算机科学与技术学科的前沿技术、热点研究方向的国内外研究现状

20、、涉及的关键技术、以及最新的发展趋势等，涉及的前沿技术和研究方向有：几何计算、虚拟现实、图形真实感、信息智能、统计机器学习、知识工程、计算智能、数字媒体、电子商务与电子服务、数据库、网络技术、机器人等。学生将选择一项前沿技术，收集大量相关的国内外文献资料，通过阅读与分析，撰写文献综述，并组织多次讨论班进行学术讨论。教学大纲一、 教学目标与要求通过本课程的学习使学生对计算机科学与技术的前沿领域有所了解，并能根据自己的兴趣需要选择自己喜欢的研究方向。二、 课程内容与学时分配本课程主要是针对计算机科学与技术专业的硕士生开设的一门专业前沿课程，总学时为36学时，涉及的前沿技术和研究方向有：几何计算、虚

21、拟现实、图形真实感、信息智能、统计机器学习、知识工程、计算智能、数字媒体、电子商务与电子服务、数据库、网络技术、机器人等。考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。三、实验及实践性环节（注：此项没有的不填）四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）1. 无教材五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）1. 王伟.计算机科学前沿技术，清华大学出版社，20122. 刘艺 肖成海 马小会 毛倩倩. 计算机科学概论，人民邮电

22、出版社，2011计算理论课程名称计算理论英文名称Theory of computation课程代码175500103所属院系信息工程学院学时48学分3课程类型专业基础课开课学期第一学年第一学期授课方式讲授考核方式闭卷考试任课教师周清雷课程简介本课程是介绍渗透在计算机科学中的这些基本思想、模型和结果，它们都是该领域的基本范例，它们有很多理由是值得学习的。首先，现代计算机科学中的很多东西直接或间接地以它们为基础。其次，这些思想和模型是漂亮、有力的，是数学建模的杰出例子，是有长久价值的。讨论了计算机科学中的纯粹、引人注目并且普遍存在的基本内容，介绍构成基本计算范例的基本概念、模型、技巧、结果，阐述当

23、今计算机科学家用于建模、讨论和预测算法与计算的思想概念与数学知识。全书共分10章，内容包括数学基础、正则语言、上下文无关语言、可计算枚举语言、非可计算枚举语言、算法可解性、计算复杂性等内容。教学大纲一、教学目标与要求通过本课程的学习使学生对计算机科学与技术理论方面的方法、模型等计算方法有所了解，并能根据需要设计出有较高质量的算法。二、课程内容与学时分配本课程主要是针对计算机科学与技术专业的硕士生开设的一门理论课程，总学时为48学时，其主要内容包括形式语言与自动机、Turing机的可计算性与递归函数，计算复杂性以及数理逻辑的相关内容。考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要

24、考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。三、实验及实践性环节（注：此项没有的不填）四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）1. 唐常杰翻译. 计算理论导引（第2版） ，机械工业出版社，2006五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）2. 张立昂 刘田翻译.计算理论基础，清华大学出版社，20062. 张立昂. 可计算性与计算复杂性，北京大学出版社，2011组合数学课程名称组合数学英文名称Combinatorial mathematics课程代码175500203所属院系信息

25、工程学院学时48学分3课程类型专业基础课开课学期第一学年第一学期授课方式讲授考核方式闭卷考试任课教师徐江峰、周文俊课程简介本课程为数学系研究生和计算机科学与技术等有关学科研究生的基础理论课。离散数学是计算机科学的理论基础，组合数学是离散数学的一个重要组成部分。本课程以组合计数为主，介绍基本计数方法、容斥原理、递推关系、生成函数和Polya计数定理等。此外还涉及到组合数学的存在性和构造性问题，如：鸽巢原理、相异代表系与组合设计等。通过本课程的学习，希望学生初步掌握组合数学的基本概念、方法和技巧。为进一步学习组合数学和计算机专业基础课程打下坚实的数学基础。培养学生的抽象思维与逻辑推理能力。课程侧重

26、于组合数学的概念和思想，包括鸽巢原理、计数技术、排列组合、Polya计数法、二项式系数、容斥原理、生成函数和递推关系以及组合结构(匹配、实验设计、图)等，深入浅出地表达了作者对该领域全面和深刻的理解，介绍了历史上源于数学游戏和娱乐的大量实例，其中对Polya计数、Burnside定理等的完美处理使得不熟悉群论的学生也能够读懂。除包含第3版中的内容外，本版又进行了更新，增加了莫比乌斯反演(作为容斥原理的推广)、格路径、Schroder数等内容。教学大纲一、 教学目标与要求通过本课程的学习使学生对组合数学的理论方法、模型和思想等有所了解，并能根据需要将组合数学的基本理论和方法应用到计算机的各个领域

27、中。二、 课程内容与学时分配本课程主要是针对计算机科学与技术专业的硕士生开设的一门理论课程，总学时为48学时，具体内容包括鸽笼原理， 二项式系数，进出原理， 生成函数， 特别计数序列， 组合设计，POLA 计数原理。考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。三、实验及实践性环节（注：此项没有的不填）四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）1. 冯舜玺,罗平,裴伟东翻译. 组合数学（第4版） ，机械工业出版社，2005五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）1. 冯速等翻译.组合数学，机械工业出版社，20122. 卢开澄. 组合数学，清华大学出版社，2005高级人工智能课程名称高级人工智能英文名称Advanced artificial intelligence课程代码175550303所属院系信息工程学院学时48学分3课程类型专业基础课开课学期第一学年第一学期授课方式讲授考核方式闭卷考试任课教师柴玉梅课程简介高级人工智能课程面向计算机科学专业的硕士研究生。人工智能是计算机科学的一个分支，是一门研究机器智能的学科，即用人工的方法和技术，研制智能机器或智能系统来