计算机学院硕士学研究生课程内容简介.docVIP

计算机学院硕士学位研究生课程内容简介 课程编号：1272001 课程类别：专业基础课 课程名称：人工智能原理 英文译名：Principles of Artificial Intelligence 学 时：6学时 学 分：3学分 开课学期：1 开课形式：课堂讲授 考核形式：笔试 适用学科：计算机科学与授课单位教师梯队：计算机科学院孔俊内容简介：人工智能 Artificial Intelligence，简记为AI 是当前科学技术发展中的一门前沿学科。它是在计算机科学、控制论、信息论、神经心理学、哲学、语言学等多种学科研究的基础上发展起来的。人工智能是研究生的主要专业基础课程，主要内容包括人工智能的数学基础、知识与知识表示、经典逻辑推理、不确定与非单调推理、搜索策略、专家系统、机器学习、模式识别、智能决策支持系统。 主要教材： 参考书目文献： 计算机网络体系结构课程编号：1272002课程类别：课程名称：计算机网络体系结构英文译名Architectures of Computer Networks 学时：6 学分：3开课学期： 开课形式：课堂讲授 考核形式：笔试 适用学科：计算机科学与技术 授课单位及教师梯队：计算机学院杨喜权朱铁英李辉内容简介： 本课程主要计算机网络体系结构的基本知识和基础理论内容ATM、多协议标记交换MPLS主动网络移动和Ad Hoc网络光网络及应用层网络初步掌握对高等计算机网络的一般研究与设计方法。 主要教材： 史忠植高级计算机网络电子工业出版社2002年版。 参考文献Wiliam Stallings:High-speed network, 1999. 2．徐恪等高等计算机网络机械工业出版社2003年版。 学时：6 学分：3开课学期： 开课形式：课堂讲授 考核形式：笔试 适用学科：计算机科学与技术 授课单位及教师梯队：计算机学院林和平马志强赵宇内容简介： 本课程首先介绍软件工程学的基本概念，然后引入面向对象方法学，包括OOA、OOD、OOP，最后详细讲解UML和目前常见的CASE工具，使研究生掌握系统开发的基本方法。 主要教材： 张海藩软件工程导论清华大学出版社参考书目文献： ROGER S.PRESSMAN, SOFTWARE ENGINEERING A PRACTITIONER’S APPROCH, McGraw Hill. 2001年版。 2．蒋惠UML Programming Guide》，北京希望电子出版社刘润东Object Programming with UML》，北京希望电子出版社形式语言与自动机理论课程编号：1272004课程类别：课程名称：形式语言与自动机理论英文译名Formal Languages and Automata Theory 学时：6 学分：3开课学期： 开课形式：课堂讲授 考核形式：笔试 适用学科：计算机科学与技术 授课单位及教师梯队：计算机学院谷文祥内容简介： 理论计算机科学是一门处于迅速发展中的学科，它对计算机硬件工程和软件工程的发展都有重要影响。形式语言与自动机理论是理论计算机科学的基础，本课主要讲授形式语言与自动机理论的基本概念和基本理论主要有穷状态系统有穷自动机正规表达式自动机的转移图有穷自动机与正规集合的等价性自动机的应用正规集合的封闭性正规集合的判定以及有穷自动机的最小化等。 参考书目文献： 1J·E·霍普克罗夫特J·D·厄尔曼自动机理论、语言和计算导引科学出版社1996年版。 2．John E.Hopcroft Rajeev Motwani Jeffrey D.Ullman：《Introduction to Automata Theory, Languages, and Computation》，清华大学出版社2002年。 分布式系统课程编号：1272005课程类别：课程名称：分布式系统英文译名Distributed Systems 学时：6 学分：3开课学期： 开课形式：课堂讲授 考核形式：笔试 适用学科：计算机科学与技术 授课单位及教师梯队：计算机学院姜华内容简介： 分布式系统 Distributed Systems 是计算机专业研究生的基础课程之一它是计算机科学中许多分支、课程必要的基础分布式系统涉及相对广泛的内容，主要内容包括分布式系统的概念和特点、分布式系统模型、分布式算法、中间件、分布式系统的基础设施、分布式数据共享。 ： George Coulouris etcDistributed Systems》，2003，机械工业出版社参考书目文献：Gerard?Tel, Introduction?to?Distributed?Algorithms,Second?Edition, 电子工业出版社2003。美Nancy?A.Lynch著