PDF《软件学院》

34100254 数据结构与算法(2)

4 学分

64 学时 Data Structure and Algorithms (2) 本课程将围绕算法分析与设计的基本理论、基础知识、基本方法和基本技能等核心内容,以及数据管理、 智能系统和信息检索等领域所需要的基础性方法与新技术,通过丰富的案例,使学生掌握本课程所涉及的 关键技术,并提高实践和动手能力.本课程的主要内容包括:1.函数增长 2.分治法 3.随机算法 4.排序算 法5.动态规划 6.贪心算法 7.均摊分析与堆 8. NP 完全性理论 9.近似算法 10. 多维数据访问方法 11.图 像与多媒体 12.文本数据访问方法 13.智能技术中的数据结构;

14.序列数据访问.

34100264 软件理论基础(1)

4 学分

64 学时 Software Theory (1) 本课程主要介绍系统建模与仿真的理论和方法.内容包括:线性时不变系统;

仿真与预报;

线性模型及预 报;

频域建模方法;

时域建模方法;

递推算法;

估计计算;

数据处理与数据建模;

Matlab 语言的使用与运 算;

Matlab 的编程与绘图;

系统模型转换与 Matlab 实现;

仿真工具 Simulink 介绍与创建模型;

仿真分 析与模块封装;

系统仿真;

抽象解释.通过本课程的学习,同学能掌握由数据对系统进行建模、仿真和验 证的基本方法和软件设计能力.

44100092 形式语言与自动机

2 学分

32 学时 Formal Languages and Automata 这门课是为计算机软件等相关专业高年级本科生开设的,32 学时.主要介绍形式语言、自动机、可计算性 及相关内容,包括:基础知识;

确定性有限自动机、非确定性有限自动机;

正则表示与语言;

正则语言与 正则文法;

正则语言的性质、Pumping 引理及应用;

上下文无关文法与语言;

下推自动机、确定性下推自 动机;

上下文无关语言的性质、上下文无关语言的 Pumping 引理及应用;

图灵机........