《离散数学》课程教学大纲.docxVIP

第 PAGE 1 页/共 NUMPAGES \* Arabic 4 页 《离散数学》课程教学大纲 课程编号课程名称：离散数学/ Discrete Mathematics 课程总学时/学分：48/3 (其中理论48学时,实验0学时) 适用专业：电气信息类专业 一、课程简介 《离散数学》是电气信息等各学院的一门必修课，由“数理逻辑”、“集合与映射”、“抽象代数”、“图论”四个部分组成，旨在培养学生运用数学思想和数学方法来分析和设计软件的能力。一方面，软件的数学基础是集合、映射、代数运算和逻辑运算，为了开发能够满足各种需求的复杂软件，就必须掌握集合与映射的基本知识，掌握代数运算和逻辑运算的基本法则，并灵活地加以运用。另一方面，现代软件往往需要处理复杂数据，为此，就必须掌握图论基础知识，并灵活地运用图论模型来表示具有网状联系的复杂数据。为学生进一步学习本专业的后续课程打下必要的数学基础 二、课程目标 通过本课程学习，学生应达到如下目标 目标1：数理逻辑：掌握逻辑运算的基本概念，掌握逻辑运算的基本法则，能够运用逻辑运算法则判断逻辑命题的正确性，能够运用逻辑运算法则构建复杂的逻辑命题，能够运用逻辑运算法则进行逻辑推理； 目标2：集合与映射：掌握集合、映射等基本概念，掌握集合运算、映射运算的基本法则，能够熟练地进行集合运算和映射运算； 目标3：抽象代数：掌握群、环、域、格等基本概念，掌握群、环、域、格的基本性质，掌握循环群（最简单的一类群）的基本性质，能够分析各种代数系统的简单性质； 目标4：图论：掌握图论的基本概念，掌握图的基本性质，掌握树（最简单、最常用的一类图）的基本性质，能够分析图的简单性质。 三、课程教学内容及与目标的关系 序号 课程 目标 知识 模块 教学内容 授课课时 教学方法 1 目标1 命题逻辑 1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 8 课堂讲授 2 目标1 一阶逻辑 2.1一阶逻辑基本概念 2.2一阶逻辑合式公式及解释 2.3一阶逻辑等值式 2.4一阶逻辑推理理论 6 课堂讲授 3 目标2 集合的基本概念和运算 3.1集合的基本概念 3.2集合的基本运算 3.3集合中元素的计数 6 课堂讲授 4 目标2 二元关系和 函数 4.1集合的笛卡儿积与二元关系 4.2关系的运算 4.3关系的性质 4.4关系的闭包 4.5等价关系和偏序关系 4.6函数的定义和性质 4.7函数的复合和反函数 8 课堂讲授 5 目标3 代数系统 5.1二元运算及其性质 5.2代数系统及其子代数和积代数 5.3代数系统的同态与同构 5.4半群与群 5.5环与域 5.6格与布尔代数 8 课堂讲授 6 目标4 图论 6.1无向图及有向图 6.2通路、回路、图的连通性 6.3图的矩阵表示 6.4最短路径及关键路径 6.5二部图 6.6欧拉图 6.7哈密顿图 6.8平面图 6.9无向树及生成树 6.10根树及其应用 12 课堂讲授 四、实验或上机内容 无 五、考试目的 保证学生有一定的后续学习的数学基础及未来从事科技工作的素质。 六、考核标准 1.考核知识点和考核要求 序号 知识模块 考核内容 考核 要求 分值 1 命题逻辑 1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.命题和命题公式 2.命题公式的等值演算 3.主范式 17% 2 一阶逻辑 2.1一阶逻辑基本概念 2.2一阶逻辑合式公式及解释 2.3一阶逻辑等值式 2.4一阶逻辑推理理论 1.谓词，量词的意义 2.谓词的等值演算 12.5% 3 集合的基本概念和运算 3.1集合的基本概念 3.2集合的基本运算 3.3集合中元素的计数 幂集，集合的运算及规律 12.5% 4 二元关系和函数 4.1集合的笛卡儿积与二元关系 4.2关系的运算 4.3关系的性质 4.4关系的闭包 4.5等价关系和偏序关系 4.6函数的定义和性质 4.7函数的复合和反函数 1.笛卡儿积，关系及运算 2.偏序，函数的复合 17% 5 代数系统 5.1二元运算及其性质 5.2代数系统及其子代数和积代数 5.3代数系统的同态与同构 5.4半群与群 5.5环与域 5.6格与布尔代数 代数系统的基本概念，群及性质 17% 6 图论 6.1无向图及有向图 6.2通路、回路、图的连通性 6.3图的矩阵表示 6.4最短路径及关键路径 6.5二部图 6.6欧拉图 6.7哈密顿图 6.8平面图 6.9无向树及生成树 6.10根树及其应用 1.图的定义及矩阵表示 2.图的连通性 3.欧拉图，哈密尔顿图及平面图 24% 2.题目类型及分值分布 选择题：6题(