离散数学-教学大纲.docx

PAGE 2 《离散数学》教学大纲 一、基本信息 课程名称 离散数学 英文名称 Discrete Mathematics 课程号 面向专业 软件工程 总学时/实验学时 64/0 总学分/实验学分 4/0 课程类别 数学与自然科学 课程属性 必修 开设学期 1 培养方案版本 主讲教师 联系方式 前导课程说明 课程名称 说明 线性代数 线性代数中的矩阵运算是离散数学中关系运算、图论中计算通路数目的基础。 后续课程说明 课程名称 说明 数据结构 图结构；树结构； 人工智能 命题逻辑；谓词逻辑 信息安全 代数系统 算法分析与设计 鸽笼原理；容斥原理；算术基本定理等用于算法优化； 二、课程简介 离散数学是计算机科学及相关学科中一门非常重要的专业基础课，是计算机科学基础理论的核心课程，其主要研究离散对象之间的数量结构和相互关系，充分描述了计算机科学离散性的特点。离散数学不仅是一门工具性学科，而且是一门提高学生逻辑思维能力的素质课。本课程的任务是为计算机类专业课程的授课作好必要的知识准备，培养学生抽象思维和缜密概括的能力，掌握现代数学的新观点和新方法，为提高专业理论水平打下扎实的基础。 三、课程目标 序号 课程目标 内涵解释 1 能够综合运用离散数学的相关知识、思想和方法，对计算机科学中的实际问题进行分析、建模，最终得到问题的解决方案。 2.2 (复杂模型建立)能够应用软件工程专业知识和计算机科学基本原理，尤其是运用工程技术原理和方法论，选择合适的模型（数学模型、数据模型、架构模型、UML 模型、概念模型、逻辑模型、物理模型等）对复杂软件工程问题进行抽象描述。 2 能够掌握数理逻辑、集合论、图论、代数系统等知识点涵盖的基本理论和方法，并基于相关的理论与方法，对工程问题进行较熟练的表达。 1.1 (基础知识与问题表述) 掌握数学、自然科学的基本概念、基本原理、基本模型和相关的分析方法，针对复杂软件项目中的相关问题用所掌握的基础知识加以表述。 3 能够具有初步抽象概括问题的能力，自学能力以及一定的逻辑思维能力和抽象思维能力。基于概括能力和思维能力，能识别与判断工程问题中的关键问题。 2.1 (识别与判断)能够应用数学、自然科学、计算机科学的基本原理，抽象分析软件开发和移动互联领域中复杂工程问题的影响因素，识别与判断出其中的关键问题。 四、课程目标对毕业要求的支撑关系 序号 课程目标 毕业要求指标点 支撑 程度 1 能够综合运用离散数学的相关知识、思想和方法，对计算机科学中的实际问题进行分析、建模，最终得到问题的解决方案。 2.2 (复杂模型建立)能够应用软件工程专业知识和计算机科学基本原理，尤其是运用工程技术原理和方法论，选择合适的模型（数学模型、数据模型、架构模型、UML 模型、概念模型、逻辑模型、物理模型等）对复杂软件工程问题进行抽象描述。 M 2 能够掌握数理逻辑、集合论、图论、代数系统等知识点涵盖的基本理论和方法，并基于相关的理论与方法，对工程问题进行较熟练的表达。 1.1 (基础知识与问题表述) 掌握数学、自然科学的基本概念、基本原理、基本模型和相关的分析方法，针对复杂软件项目中的相关问题用所掌握的基础知识加以表述。 H 3 能够具有初步抽象概括问题的能力，自学能力以及一定的逻辑思维能力和抽象思维能力。基于概括能力和思维能力，能识别与判断工程问题中的关键问题。 2.1 (识别与判断)能够应用数学、自然科学、计算机科学的基本原理，抽象分析软件开发和移动互联领域中复杂工程问题的影响因素，识别与判断出其中的关键问题。 M 五、教学方法 案例式教学，通过提出问题，引出解决问题需要的知识点。通过对相关的知识点进行讲解，让学生深入理解知识点的核心概念、应用场景，并通过分析问题、建模、运算，最终解决问题，培养学生的逻辑思维与抽象思维，初步建立计算思维，培养学生运用离散数学的理论和方法，分析并解决计算机科学中的经典问题的能力。 六、教学内容与教学安排 序号 内容 理论讲授与教学方法 课后作业 课程思政 学时 理论/实验 1 预备 知识 理论讲授： 矩阵（包括布尔矩阵）的加、减、乘等基本运算； 计数原则； 鸽笼原理； 算术基本定理； 最大公约数和最小公倍数，扩展欧几里德定理。 教学方法： 案例教学； 1-1 1-2 2-4 2-5 1.幻方矩阵 2.鸽笼原理与最大间隙问题 2/0 2 数理 逻辑 理论讲授： 命题的定义及判断方法； 联结词的含义，命题公式的形式化表示、真值计算以及分类判断； 命题公式等价演算的本质，常用的命题等价演算公式； 命题联结词的完备集； 命题公式的范式表示，基于公式演算以及真值表两种方法计算命题公式的范式； 命题公式推理的基本形式和基本方法，基于命题逻辑的推理在实际应用中判断推理过程的合法性。 谓词逻辑的基本