1 选修领域、专业和普通课程 1 1.1 选修领域和专业.................................................................................................................................................................................................................................................................. 1 1.1.1 基础选修领域.................................................................................................................................................................................................................................................................................................................. 1 1.1.1 基础选修领域.................................................................................................................................................................................................................................................................................................................................................. 1 1.1.1.1 软件和硬件（实用、技术和应用计算机科学）.................................................................................. 1 电子设计自动化工具的算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 软件的形式化规范和验证 . . . . . . . . . . . . . 14 高级编译器构造 . . . . . . . . . . . . . . . . 16 CAE/CAD 的几何方法 . . . . . . . . . . . . . . . . 18 计算机图形学 I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 动手操作 HCI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 高阶网格划分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 人机交互 . . . . . . . . . . . . . . . . . . . . . . . . . 29 信息可视化和视觉分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 基于物理的模拟和动画 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .....................................................................................................................................................................................................................64 量子信息科学.......................................................................................................................................................................................................................................................................65 静态和动态程序分析....................................................................................................................................................................................................................................................................67 并行程序验证....................................................................................................................................................................................................................................................67 .... .... .... .... .... .... 69