PDF《软件学院》

2012-2013 学年度本科课程介绍

1 软件学院

04100012 算法设计及其复杂性分析

2 学分

32 学时 The Design and Analysis of Computer Algorithm 本课程目的是使同学初步熟悉《算法设计及其复杂性分析》有趣而富有挑战的科研方法,经历其过程,了 解如何设计算法解决实际问题,并能进入计算复杂度这一重要而神奇的世界.

教学方式是教师首先介绍关 于算法的基本理论并布置相应的问题,这些问题在不同的学期会有所不同,不过都具有很强的理论价值和 应用价值,其中曾经包括素数判定问题(2002 年印度理工学院的一位教授和两位本 科生在该问题上取 得重要进展, 成果发表在 《Science》 上) 、 利用前缀翻转操作进行整数排序问题 (微软创始人比尔盖茨 (Bill Gates)在读大学二年级时在该问题取得有意义进展,成果发表在《Discrete Mathematics》上)等一些有 趣而易于理解的问题.同学可以自由组成学习研讨小组,尝试展开相关问题的研究工作.教师将在科研方 法上给予指导,并且每周将进行一次面对面的专题研讨.最终学生提交问题求解报告以及一些中间过程报 告,教师根据问题的解决程度以及求解过程中提出思想的创新性等评定成绩.选课指导:本课程富有挑战 性, 需要较大的勇气以及强烈的求知欲望和上进心. 请想混学分或担心学习力不从心的同学不要选这门课. 据往届同学反映,本课程作业量大,富有挑战性,需要付出很大的努力,最终收获也很大.部分同学的研 究成果已经形成了学术论文.

04100031 软件基础理论导引

1 学分

16 学时 Introduction to Fundamental Theory of Software 软件的基础理论包含数理逻辑、自动机理论、数论、图论、类型论、范畴论、计算几何、量子计算理论等. 本课程主要关注模型检测技术和定理证明技术的基础理论数理逻辑、自动机理论和类型论. 软件在航 天、航天、军事、金融、电信等领域有着广泛的应用.常用的对软件的可信性要求是通过大量的测试用例 的测试来满足的,但是测试的方法并不能满足一些领域对于可信软件的苛刻要求.形式化的模型检测方法 和定理证明方法逐渐被视为新的验证软件可信性的有效方法. 本课程主要侧重于模型检测与定理证明方法的理论基础,并且介绍相关方法技术的发展历史及热点问题. 由于本课程是新生研讨课, 课程不需要先修课程, 因此, 课程的理论部分更加侧重于相关理论的产生背景, 发展历史以及当前一些热点研究问题的研究现状,力求帮助学生建立对相关理论的概况和轮廓,培养学生 对理论学习的兴趣,而不是探讨过多的理论细节.课程的另外一部分内容是结合相关的通俗易懂的案例, 向学生介绍这些理论在现实中的应用情况,让学生对使用模型检测工具和定理证明工具对现实问题进行验 证的方法有一个大致的了解,激发同学使用学到的知识和工具解决现实问题的热情.

34100113 计算机图形学基础

3 学分

48 学时 The Fundamental of Computer Graphics 本课程旨在介绍计算机图形学的基本概念、理论、方法和系统.讲课内容包括:光栅图形学、形体在计算 机中的基本表示方法、真实感图形学等三大部分,分为十三章:概述、图形系统与设备、基本图形的扫描 转换、多边形的扫描转换与区域填充、裁剪、图形变换和投影、消隐、曲线和曲面、三维实体的表示、颜 色视觉、光照明模型(1) 、阴影和纹理、光照明模型(2) .通过讲课和实验,既 向学生传授图形学 的经典方法和最新成果,也注重培养学生动手实践能力.