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

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

学科基础课

--------------------人工智能原理--------------------

课程编号：217020202001 课程类别：学科基础课

课程名称：人工智能原理英文译名：PrinciplesofArtificialIntelligence

学时：60学时 学分：3学分

开课学期：秋季 教学方式：课堂讲授

考核方式：过程考核+期末笔试适用学科：计算机软件与理论

内容简介：人工智能是一门涉及到计算机科学、信息科学、认知科学、脑及神经科学、语言学、教育科学等的综合性的交叉学科。人工智能原理这门课主要介绍5个方面的内容，即知识与推理，介绍确定性知识、不确定性知识表示方法和推理机制；有哪些信誉好的足球投注网站与求解，介绍图的有哪些信誉好的足球投注网站与问题求解策略；学习与发现，介绍机器学习的基本原理和方法；感知与交流，探讨模式识别的原理与方法；系统与建造，主要介绍专家系统及Agent系统的设计与实现技术。

参考书目（文献）：

廉师友，《人工智能技术导论》，西安电子科技大学出版社，2007。

涂序彦，人工智能及其应用，电子工业出版社。

NilsJ.Nilsson：《人工智能》，机械工业出版社，2000年9月第一版。

蔡自兴、徐光佑：《人工智能及其应用》，清华大学出版社，2000年5月第二版。

史中植，《高级人工智能》，清华大学出版社。

--------------------形式语义学-------------------

课程编号：217020202002课程类别：学科基础课

课程名称：形式语义学英文译名：FormalSemantics

学时：60学时 学分：3学分

开课学期：秋季 教学方式：课堂讲授

考核方式：过程考核+期末笔试适用学科：计算机软件与理论

内容简介：

形式语义学是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。是对程序设计语言及其程序采用形式系统方法进行语义定义的一门学问和技术。形式语义学主要包括指称语义，用抽象的方法描述语言中每个成分的执行，通常用机器模型语言实现/解释；操作语义，使语言的每个成分对应于一个数学对象，考虑每个成分的执行效果；公理语义，程序正确性验证的基础上发展而来的，是给出一种方法，使得能够在给定的前提下验证程序的某种特性是否成立（用公理系统定义）；代数语义，采用代数的方法研究语义的定义和解释的方法，主要基于抽象数据结构。

参考书目（文献）：

1．《程序理论》(金成植)部分内容+新增内容

2．陆汝钤，《计算机语言的形式语义》，科学出版社。

3．屈延文，《形式语义学基础及形式说明》，科学出版社。

4．FormalSyntaxSemanticsofProgrammingLanguages,KennethSlonnegerandBarryL.Kurtz,Addison-WesleyPublishingCompany,1995

--------------------可计算性与计算复杂性-------------------

课程编号：217020202003课程类别：学科基础课

课程名称：可计算性与计算复杂性英文译名：ComputabilityandComplexity

学时：60学时 学分：3学分

开课学期：春季 教学方式：课堂讲授

考核方式：过程考核+期末笔试适用学科：计算机软件与理论

内容简介：

本课程主要内容分为两部分：可计算性部分主要讲述计算模型（J语言、递归函数、图灵机）和可计算函数的性质（通用性定理、可枚举性定理）以及不可判定的问题。计算复杂性部分主要讲述时间复杂性以及空间复杂性以及计算复杂性类的有关定理。

参考书目（文献）：

1．《可计算性与计算复杂性导引》，张立昂编著，北京大学出版社

2．《自动机理论，语言和计算导引》，J.E.霍普克罗夫特，J.D.厄尔曼著，科学出版社

3．《离散数学教程》耿素云，曲婉玲，王撼贫编著，北京大学出版社

--------------------多媒体网络技术--------------------

课程编号：217020102003课程类别：学科基础课

课程名称：多媒体网络技术英