软件学院硕士研究生课程内容简介

《软件学院硕士研究生课程内容简介》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件学院硕士研究生课程内容简介学科基础课--------------------人工智能原理--------------------课程编号：217020202001课程类别：学科基础课课程名称：人工智能原理英文译名：PrinciplesofArtificialIntelligence学时：60学时学分：3学分开课学期：秋季教学方式：课堂讲授考核方式：过程考核+期末笔试适用学科：计算机软件与理论内容简介：人工智能是一门涉及到计算机科学、信息科学、认知科学、脑及神经科学、语言学、教育科学等的综合性的交叉学科。人工智能原理这门课主要介绍5个方面的内容，即知识与推理

2、，介绍确定性知识、不确定性知识表示方法和推理机制；搜索与求解，介绍图的搜索与问题求解策略；学习与发现，介绍机器学习的基本原理和方法；感知与交流，探讨模式识别的原理与方法；系统与建造，主要介绍专家系统及Agent系统的设计与实现技术。参考书目（文献）：1．廉师友，《人工智能技术导论》，西安电子科技大学出版社，2007。2．涂序彦，人工智能及其应用，电子工业出版社。3．NilsJ.Nilsson：《人工智能》，机械工业出版社，2000年9月第一版。4．蔡自兴、徐光佑：《人工智能及其应用》，清华大学出版社，2000年5月第二版。史中植，《高级人工智能》，清华大学出版

3、社。--------------------形式语义学-------------------课程编号：217020202002课程类别：学科基础课课程名称：形式语义学英文译名：FormalSemantics学时：60学时学分：3学分开课学期：秋季教学方式：课堂讲授考核方式：过程考核+期末笔试适用学科：计算机软件与理论内容简介：形式语义学是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。是对程序设计语言及其程序采用形式系统方法进行语义定义的一门学问和技术。形式语义学主要包括指称语义，用抽象的方法

4、描述语言中每个成分的执行，通常用机器模型语言实现/解释；操作语义，使语言的每个成分对应于一个数学对象，考虑每个成分的执行效果；公理语义，程序正确性验证的基础上发展而来的，是给出一种方法，使得能够在给定的前提下验证程序的某种特性是否成立（用公理系统定义）；代数语义，采用代数的方法研究语义的定义和解释的方法，主要基于抽象数据结构。参考书目（文献）：1．《程序理论》(金成植)部分内容+新增内容2．陆汝钤，《计算机语言的形式语义》，科学出版社。3．屈延文，《形式语义学基础及形式说明》，科学出版社。4．FormalSyntax&SemanticsofProgrammin

5、gLanguages,KennethSlonnegerandBarryL.Kurtz,Addison-WesleyPublishingCompany,1995--------------------可计算性与计算复杂性-------------------课程编号：217020202003课程类别：学科基础课课程名称：可计算性与计算复杂性英文译名：ComputabilityandComplexity学时：60学时学分：3学分开课学期：春季教学方式：课堂讲授考核方式：过程考核+期末笔试适用学科：计算机软件与理论内容简介：本课程主要内容分为两部分：可计算性部分主要

6、讲述计算模型（J语言、递归函数、图灵机）和可计算函数的性质（通用性定理、可枚举性定理）以及不可判定的问题。计算复杂性部分主要讲述时间复杂性以及空间复杂性以及计算复杂性类的有关定理。参考书目（文献）：1．《可计算性与计算复杂性导引》，张立昂编著，北京大学出版社2．《自动机理论，语言和计算导引》，J.E.霍普克罗夫特，J.D.厄尔曼著，科学出版社3．《离散数学教程》耿素云，曲婉玲，王撼贫编著，北京大学出版社--------------------多媒体网络技术--------------------课程编号：217020102003课程类别：学科基础课课程名称：多

7、媒体网络技术英文译名：MultimediaNetworkTechnology学时：40学时学分：2学分开课学期：秋季开课形式：课堂讲授考核形式：读书报告+笔试适用学科：教育技术学内容简介：多媒体网络技术（MultimediaNetworkTechnology）是涉及数字化信号处理技术、音频和视频、计算机软件和硬件技术、通信和图像处理技术等综合技术。主要内容包括：多媒体网络技术的概念，研究的主要内容与发展趋势；多媒体数据压缩与存储技术；多媒体硬件与输入输出设备；数字音频与数字视频的处理；多媒体的制作、流媒体的概念、特性、流媒体系统组件与处理过程以及多媒体的应用系

8、统。参考书目（文献）：1.徐威《数字电