计算机软件与理论 | |
专业代码(081202) | |
主要研究方向 | |
1. 人工智能与知识系统 | |
2. 分布式系统与网格计算 | |
3. 软件工程与形式化方法 |
课程设置和课程教学
类 别 | 课程编号 | 课 程 名 称 | 学时 | 学分 | 开课学期 | 考核方式 | 备 注 | |||
1 | 2 | 3 | ||||||||
学 位 课 | 公 共 学 位 课 | 10285001 | 英语 | 144 | 4 | 4 | 4 | 考试 | ||
10285006 | 科学社会主义理论与实践 | 18 | 1 | 2 | 考试 | |||||
10285007 | 自然辩证法 | 18 | 1 | 2 | 考试 | |||||
10285009 | 政治专题讲座 | 36 | 2 | 2 | ||||||
学 位 基 础 课 | 08120201 | 组合数学 | 54 | 3 | 3 |
|
| 考试 |
| |
08120202 | 算法分析与计算复杂性 | 72 | 4 |
| 4 |
| 考试 |
| ||
08120203 | 计算机软件新技术 | 54 | 3 |
| 3 |
| 考试 |
| ||
学 位 专 业 课 | 08120211 | 高级软件工程 | 54 | 3 |
| 3 |
| 考试 |
| |
08120310 | 操作系统分析 | 54 | 3 | 3 |
|
| 考试 |
| ||
课程设置和课程教学(续)
类 别 | 课程编号 | 课 程 名 称 | 学时 | 学分 | 开课学期 | 考核方式 | 备 注 | |||
1 | 2 | 3 | ||||||||
非 学 位 课 | 选 修 课 | 08120303 | 高级计算机网络 | 54 | 3 |
| 3 |
| 考试 |
|
08120311 | 高级数据库技术 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120322 | 数据挖掘 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120323 | 数字媒体技术 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120324 | 中文信息处理理论 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120325 | 图象处理与分析 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120326 | 计算语言学 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120327 | 信息系统分析与设计 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120328 | 嵌入式应用 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120329 | 软件项目管理 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120330 | 信息安全技术 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120331 | 高级微机系统 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120332 | WEB程序设计 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120333 | 知识工程 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120334 | 可视化计算 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120335 | 机器学习 | 54 | 3 |
| 3 |
| 考试 |
| ||
08120336 | 模式识别 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120337 | 分布式计算 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120338 | 模糊数学 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120339 | 网格计算 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120340 | 软件可靠性方法 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120341 | 软件体系结构 | 54 | 3 |
|
| 3 | 考试 |
| ||
08120342 | 随机过程(3) | 54 | 3 |
|
| 3 | 考试 |
| ||
08120343 | 自动机理论与形式语言 | 54 | 3 |
| 3 |
| 考试 |
| ||
必修 环节 | 10285010 | 文献阅读 | 1 | 考查 | ||||||
10285011 | 学术研讨和学术报告 | 1 | 考查 | |||||||
10285012 | 实习活动 | 2 | 考查 |