计算机软件与理论学科硕士研究生培养方案
学科代码 081202
英文名称 Computer Software and Theory
一、 研究方向及主要内容简介
研 究 方 向 |
主 要 内 容 简 介 |
数据管理技术 |
1. 流数据管理 2. Web数据管理 3. 云数据管理 4. 生物信息挖掘 5. 数据存储与容灾 |
软件工程 |
1. 软件设计方法 |
网络软件 |
1. 高可用计算 |
计算语言学与计算理论 |
1. 计算机科学技术的基础理论 |
二、学分及课程学习要求
总学分数29~34,其中公共课8学分,基础理论课至少6学分,专业基础课至少6学分,专业课至少9学分。
1.公共课(学位必修课,8学分,必修)
课程编号 |
课 程 名 称 |
学时 |
学分 |
开课学期 |
考核方式 |
13M003 |
英 语(一外) |
144 |
5.0 |
1,2 |
考试 |
13M008 |
中国特色社会主义理论与实践研究 |
36 |
2.0 |
1,2 |
考试 |
13M009 |
自然辩证法概论 |
18 |
1.0 |
1,2 |
考试 |
2.基础理论课(学位必修课,在下列课程中至少选6学分)
课程编号 |
课 程 名 称 |
学时 |
学分 |
开课学期 |
考核方式 |
106001 |
组合数学 |
60 |
3.0 |
1 |
考试 |
11M001 |
矩阵论 |
60 |
3.0 |
1 |
考试 |
11M005 |
数理统计 |
60 |
3.0 |
1 |
考试 |
3.专业基础课(学位必修课,在下列课程中至少选6学分)
课程编号 |
课 程 名 称 |
学时 |
学分 |
开课学期 |
考核方式 |
106004 |
面向对象系统方法 |
40 |
2.0 |
2 |
考试 |
106013 |
分布计算系统 |
40 |
2.0 |
1 |
考试 |
106014 |
现代软件工程体系与实践 |
40 |
2.0 |
2 |
考试 |
106016 |
形式语言与自动机 |
40 |
2.0 |
2 |
考试 |
106018 |
算法设计与分析 |
40 |
2.0 |
2 |
考试 |
106024 |
数据库系统原理与实现 |
40 |
2.0 |
1 |
考试 |
106029 |
数据挖掘技术 |
40 |
2.0 |
1 |
考查 |
106034 |
软件形式化方法 |
40 |
2.0 |
2 |
考试 |
4.专业课(学位选修课,至少选9学分,其中包括一门实验专题课。“学术道德规范与知识产权概论”必选但不记入最低总学分。在下列课程中至少选4学分,其余可在全校硕士生课程中任选)
课程编号 |
课 程 名 称 |
学时 |
学分 |
开课学期 |
考核方式 |
**S*** |
实验专题课(见实验专题课汇总表) |
|
1.0 |
2 |
考试 |
00N002 |
学术道德规范与知识产权概论 |
6 |
1.0 |
1 |
考查 |
105012 |
模糊数学 |
40 |
2.0 |
1 |
考试 |
105014 |
智能决策技术 |
40 |
2.0 |
1 |
考试 |
105024 |
网络存储技术 |
40 |
2.0 |
1 |
考试 |
105027 |
科技论文写作 |
20 |
1.0 |
2 |
考查 |
105033 |
高性能计算及应用 |
40 |
2.0 |
1 |
考查 |
105034 |
信息检索理论与应用 |
40 |
2.0 |
1 |
考试 |
105042 |
实时系统 |
40 |
2.0 |
2 |
考试 |
106005 |
数字媒体计算技术 |
40 |
2.0 |
1 |
考试 |
106019 |
并行计算系统 |
40 |
2.0 |
2 |
考试 |
106021 |
无线通信与移动计算 |
40 |
2.0 |
2 |
考试 |
106023 |
网络信息安全工程 |
40 |
2.0 |
2 |
考试 |
106026 |
服务计算原理及应用 |
40 |
2.0 |
1 |
考试 |
106032 |
系统仿真与虚拟现实技术 |
40 |
2.0 |
1 |
考试 |
106033 |
嵌入式系统设计及应用 |
40 |
2.0 |
2 |
考试 |