数据结构课程教学大纲-计算机学院首页-哈尔滨工程大学.doc

计算机科学与技术学院 本科课程教学大纲（2009版） 哈尔滨工程大学 2010年12月 印制 目 录 离散数学课程教学大纲 1 数据结构课程教学大纲 4 数字逻辑课程教学大纲 7 计算机组成原理课程教学大纲 10 操作系统课程教学大纲 13 数据库原理课程教学大纲 17 计算机网络课程教学大纲 20 计算机组织与结构课程教学大纲 22 专业导论课程教学大纲 26 面向对象程序设计课程教学大纲 29 算法设计与分析课程教学大纲 32 软件工程课程教学大纲 34 计算机体系结构课程教学大纲 37 微机系统与接口课程教学大纲 41 编译原理课程教学大纲 44 人工智能A课程教学大纲 47 计算机图形学A课程教学大纲 49 分布式与并行计算课程教学大纲 51 VLSI与硬件描述语言课程教学大纲 54 嵌入式系统课程教学大纲 57 数字信号处理A课程教学大纲 60 编译原理课程设计课程教学大纲 62 嵌入式系统课程设计课程教学大纲 65 软件工程课程设计课程教学大纲 68 专业实习课程教学大纲 71 毕业设计课程教学大纲 73 IT英语课程教学大纲 76 计算几何课程教学大纲 79 问题求解与程序设计课程教学大纲 81 嵌入式技术课程教学大纲 83 Linux程序设计环境课程教学大纲 85 Java语言程序设计课程教学大纲 87 多核程序设计课程教学大纲 90 软件开发环境课程教学大纲 93 系统设计与分析课程教学大纲 97 数据库应用课程教学大纲 101 数据库新技术课程教学大纲 103 面向服务的架构课程教学大纲 105 设计模式课程教学大纲 108 计算机软件工具课程教学大纲 110 数据通信原理课程教学大纲 113 密码学导论课程教学大纲 115 软件安全课程教学大纲 117 信息安全概论课程教学大纲 119 Matlab与科学计算课程教学大纲 122 计算机控制课程教学大纲 124 数字信号处理B课程教学大纲 126 数字图像处理A课程教学大纲 128 多媒体技术课程教学大纲 130 人工智能B课程教学大纲 132 计算机图形学B课程教学大纲 134 计算机病毒防护技术课程教学大纲 136 网络安全防护技术课程教学大纲 139 无线网络安全技术课程教学大纲 141 信息隐藏课程教学大纲 143 物联网感知技术课程教学大纲 145 物联网传输技术课程教学大纲 147 物联网信息处理技术课程教学大纲 149 物联网课程设计课程教学大纲 153 移动计算原理课程教学大纲 156 RFID技术原理课程教学大纲 158 无线传感器网络课程教学大纲 163 文献检索课程教学大纲 165 大学计算机基础A课程教学大纲 167 大学计算机基础B课程教学大纲 171 程序设计基础课程教学大纲 176 离散数学课程教学大纲 一、课程基本信息 课程编号：0906501 课程中文名称：离散数学 课程英文名称：Discrete Mathematics 课程性质：专业基础课 考核方式：考试 开课专业：计算机科学与技术 开课学期：4 总学时：72 （其中理论72学时） 总学分：3 二、课程目的 离散数学，是现代数学的一个重要分支，是计算机科学与技术一级学科的核心课程，是整个计算机学科的专业基础课。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 离散数学用数学语言来描述离散系统的状态、关系和变化过程，是计算机科学与技术的形式化描述语言，也是进行数量分析和逻辑推理的工具，在数据结构、算法设计、网络、数据库、图像处理、软件工程、操作系统、编译技术、信息安全、人工智能等各个领域都有着广泛的应用。通过离散数学的学习，不但为相关专业课程的学习打下扎实的基础，同时对培养学生的学科素质、训练正确的学科方法、提升分析问题解决问题的能力起着重要的作用。18学时） 命题逻辑（10学时） 命题、逻辑连接词、真值表、范式、永真性、命题逻辑等值演算、命题逻辑的推理理论。 谓词（或称一阶）逻辑（8学时） 谓词、量词、一阶逻辑公式及其解释、一阶逻辑公式的等值式、前束范式、一阶逻辑的推理理论。 第二章 集合论（20学时） 集合代数（2学时） 集合性质、集合运算、有穷集的计数、恒等式。 二元关系（12学时） 有序对与笛卡儿积、关系的运算、关系的性质（自反、对称、传递）、关系的闭包、等价关系、偏序关系。 函数（4学时） 满射、入射、双射函数概念及性质、函数的复合与逆函数。 集合的基数和可数性（2学时）。 第三章 图论（14学时） 图的基本概念。（2学时） 欧拉图与哈密尔顿图。（4学时） 平面图及图的着色。（4学时） 树的概念、性质。（2学时）