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

时间：2025-04-03

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

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

学科基础课

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

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

课程名称：人工智能原理英文译名：Principles of Artificial Intelligence 学时：60学时

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

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

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

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

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

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

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

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

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

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

学时：60学时

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

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

内容简介：

形式语义学是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。是对程序设计语言及其程序采用形式系统方法进行语义定义的一门学问和技术。形式语义学主要包括指称语义，用抽象的方法描述语言中每个成分的执行，通常用机器模型语言实现/解释；操作语义，使语言的每个

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

成分对应于一个数学对象，考虑每个成分的执行效果；公理语义，程序正确性验证的基础上发展而来的，是给出一种方法，使得能够在给定的前提下验证程序的某种特性是否成立（用公理系统定义）；代数语义，采用代数的方法研究语义的定义和解释的方法，主要基于抽象数据结构。

参考书目（文献）：

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

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

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

4．Formal Syntax & Semantics of Programming Languages, Kenneth Slonneger and Barry L. Kurtz, Addison-Wesley Publishing Company,1995

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

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

课程名称：可计算性与计算复杂性英文译名：Computability and Complexity

学时：60学时

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