河南理工大学软件工程专业.PDFVIP

河南理工大学软件工程专业 2013-2017 级课程大纲情况说明 文档顺序: 一、2016 级专业主干课程大纲 二、2016 级主要专业课程大纲 三、2013 级专业主干课程大纲 四、2013 级主要专业课程大纲 河南理工大学软件工程专业2013-2017级 课程大纲情况说明 根据学校要求和专业发展情况，软件工程专业分别于2013 年和2016年对课程大纲进行了修订。 2016级9门专业主干课为： 离散数学、数据结构、软件工程、软件设计模式、软件质 量保证与测试、软件项目组织与管理、软件体系结构、算法分 析与设计、数据库系统原理。 2016级6门主要专业课为： 高级语言程序设计I、计算机网络、模拟与数字电路基础、 计算机组成原理、操作系统、编译原理。 2013级的3 门专业主干课：操作系统、编译原理、面向对象 分析与设计在2016级中删除。 2013级9 门专业主干课为： 离散数学、数据结构、数据库系统原理、操作系统、编译 原理、软件工程、面向对象分析与设计、软件项目组织与管理、 软件质量保证与测试。 2013级5 门主要专业课为： C语言程序设计、计算机网络、计算机组成原理、程序设计 模式、算法分析与设计。 一、2016级专业主干课程9门 1、离散数学 2、数据结构 3、软件工程 4、软件设计模式 5、软件质量保证与测试 6、软件项目组织与管理 7、软件体系结构 8、算法分析与设计 9、数据库系统原理。 《离散数学》课程教学大纲 课程编号： 090000050 学 时 数： 64 学 分 数：4 适用专业：信息管理与信息系统、软件工程专业 任课学院（系、部）：计算机科学与技术学院计算机系 课程负责人：王建芳 编制日期：2016 年 12 月 10 日 一、课程简介 离散数学是研究计算机科学的基本数学工具，是计算机及其相关 专业的一门基础理论课，具有概念较多、理论性较强，应用性较广的 特点。本课程主要教授集合论、关系与映射、无限集、代数系统、图 论、数理逻辑方面的基础知识。通过本课程的学习，要使学生掌握离 散数学的基本概念和基本原理，以现代数学的观点和方法，初步掌握 处理离散结构所必须的描述工具和方法。同时，也要培养学生抽象思 维、慎密概括、逻辑推理的能力，从而使学生具有良好的开拓专业理 论的素质和使用所学知识，分析和解决实际问题的能力。 二、课程教学的目标 在理解、掌握、了解三个能力层次上，对学生学习和掌握本课程 知识有如下要求： 1、理解：以现代数学的观点和方法，理解处理离散结构所必须 的描述工具和方法。 2、掌握：数理逻辑、谓词逻辑、二元关系、代数系统、图的简 单概念等； 3、了解：函数、格和布尔代数、图论等。 三、课程教学的基本内容及教学安排 第一章 命题逻辑（12 学时） 内容：命题、逻辑联结词的概念；命题与陈述句的关系，公式与 解释的概念，公式的递归定义，用基本等价式化简其他公式；主析取 范式与真值表的关系，用真值表法判断公式的类型；公式蕴涵与逻辑 结果的概念；推理理论的方法。 要求：了解命题的翻译，理解命题公式的推演。 教学重点和难点：命题与联接词，公式与解释，真值表，共识的 类型与判定，主析取范式，命题演算的推理理论。 1．1 命题及其表示法 l．2 联结词 l．3 命题公式与翻译 l．4 真值表与等价公式 1．5 重言式与蕴含式 1．6 其他联结词 1．7 对偶与范式 1．8 推理理论 l．9 应用 第二章 谓词逻辑（12 学时） 内