计算机科学和技术学院

《计算机科学和技术学院》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、计算机科学与技术学院本科课程教学大纲（2009版）哈尔滨工程大学2010年12月印制目录1.离散数学课程教学大纲12.数据结构课程教学大纲43.数字逻辑课程教学大纲74.计算机组成原理课程教学大纲105.操作系统课程教学大纲136.数据库原理课程教学大纲177.计算机网络课程教学大纲208.计算机组织与结构课程教学大纲229.专业导论课程教学大纲2610.面向对象程序设计课程教学大纲2911.算法设计与分析课程教学大纲3212.软件工程课程教学大纲3413.计算机体系结构课程教学大纲3714.微机系统与接口课程教学大

2、纲4115.编译原理课程教学大纲4416.人工智能A课程教学大纲4717.计算机图形学A课程教学大纲4918.分布式与并行计算课程教学大纲5119.VLSI与硬件描述语言课程教学大纲5420.嵌入式系统课程教学大纲5721.数字信号处理A课程教学大纲6022.编译原理课程设计课程教学大纲6223.嵌入式系统课程设计课程教学大纲6524.软件工程课程设计课程教学大纲6825.专业实习课程教学大纲7126.毕业设计课程教学大纲7327.IT英语课程教学大纲7628.计算几何课程教学大纲7929.问题求解与程序设计课程教学

3、大纲811.嵌入式技术课程教学大纲832.Linux程序设计环境课程教学大纲853.Java语言程序设计课程教学大纲874.多核程序设计课程教学大纲905.软件开发环境课程教学大纲936.系统设计与分析课程教学大纲977.数据库应用课程教学大纲1018.数据库新技术课程教学大纲1039.面向服务的架构课程教学大纲10510.设计模式课程教学大纲10811.计算机软件工具课程教学大纲11012.数据通信原理课程教学大纲11313.密码学导论课程教学大纲11514.软件安全课程教学大纲11715.信息安全概论课程教学大纲

4、11916.Matlab与科学计算课程教学大纲12217.计算机控制课程教学大纲12418.数字信号处理B课程教学大纲12619.数字图像处理A课程教学大纲12820.多媒体技术课程教学大纲13021.人工智能B课程教学大纲13222.计算机图形学B课程教学大纲13423.计算机病毒防护技术课程教学大纲13624.网络安全防护技术课程教学大纲13925.无线网络安全技术课程教学大纲14126.信息隐藏课程教学大纲14327.物联网感知技术课程教学大纲14528.物联网传输技术课程教学大纲14729.物联网信息处理技术

5、课程教学大纲14930.物联网课程设计课程教学大纲15331.移动计算原理课程教学大纲1561.RFID技术原理课程教学大纲1582.无线传感器网络课程教学大纲1633.文献检索课程教学大纲1654.大学计算机基础A课程教学大纲1675.大学计算机基础B课程教学大纲1716.程序设计基础课程教学大纲176离散数学课程教学大纲一、课程基本信息课程编号：0906501课程中文名称：离散数学课程英文名称：DiscreteMathematics课程性质：专业基础课考核方式：考试开课专业：计算机科学与技术开课学期：4总学时：7

6、2（其中理论72学时）总学分：3二、课程目的离散数学，是现代数学的一个重要分支，是计算机科学与技术一级学科的核心课程，是整个计算机学科的专业基础课。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。离散数学用数学语言来描述离散系统的状态、关系和变化过程，是计算机科学与技术的形式化描述语言，也是进行数量分析和逻辑推理的工具，在数据结构、算法设计、网络、数据库、图像处理、软件工程、操作系统、编译技术、信息安全、人工智能等各个领域都有着广泛的应用。

7、通过离散数学的学习，不但为相关专业课程的学习打下扎实的基础，同时对培养学生的学科素质、训练正确的学科方法、提升分析问题解决问题的能力都起着重要的作用。三、教学基本要求通过该课程的教学，使学生了解并掌握计算机科学中普遍地采用离散数学中的一些基本概念、基本思想、基本方法，同时使学生具备解决离散问题的基本能力，并且要培养学生的抽象思维能力，为以后课程的学习及科学研究提供坚实的理论基础。四、教学内容与学时分配第一章数理逻辑（18学时）命题逻辑（10学时）命题、逻辑连接词、真值表、范式、永真性、命题逻辑等值演算、命题逻辑的推理

8、理论。谓词（或称一阶）逻辑（8学时）12谓词、量词、一阶逻辑公式及其解释、一阶逻辑公式的等值式、前束范式、一阶逻辑的推理理论。第二章集合论（20学时）集合代数（2学时）集合性质、集合运算、有穷集的计数、恒等式。二元关系（12学时）有序对与笛卡儿积、关系的运算、关系的性质（自反、对称、传递）、关系的闭包、等价关系、偏序关系。函数（4学时）满射、入