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

PAGE 1 《离散数学》教学大纲 课程英文名 Discrete Mathematics 课程代码 C0806Z44 学分 3.5 总学时 56 理论学时 56 实验/实践学时 0 课程类别 学科基础课 课程性质 限选 先修课程 高等数学，线性代数 适用专业 计算机科学与技术 开课学院 信息工程学院 一、课程地位与课程目标 （一）课程地位 本课程是计算机专业的一门重要的专业选修课程。主要研究离散量的结构及其相互关系的数学学科，它充分体现计算机科学离散性的特点。该课程是基础数学的延伸，使学生得到良好的数学训练，从而进一步提高学生的抽象思维能力和逻辑推理能力，并为其学习计算机专业的后续课程做好必要的知识准备，并为从事计算机的应用提供理论基础。 （二）课程目标 培养思维严谨性，提升抽象思考和严格推理能力；具有良好的知识结构，为学习专业的后续课程打下基础，使学生初步具备研究能力及知识获取能力； 掌握离散数学语言及分析方法，能对实际问题给出清晰的描述（建模），使学生具备基本的工程实践能力； 二、课程目标达成的途径与方法 课程目标 教学环节 课程目标1 课堂教学、课外作业 课程目标2 课堂教学、课外作业 三、课程目标与相关毕业要求的对应关系 课程目标 课程目标对毕业要求的支撑程度（H、M、L） 毕业要求1 毕业要求2 毕业要求5 课程目标1 M 课程目标2 M L 注：1.支撑强度分别填写H、M或L（其中H表示支撑程度高、M为中等、L为低）。 2.毕业要求应根据课程所在专业培养方案进行描述。 3.通识选修课程可不填写上表。 四、课程主要内容与基本要求 第一部分：数理逻辑 了解命题逻辑、一阶逻辑的基本概念；理解逻辑联结词和合式公式的定义、合式公式的类型、范式的定义、谓词、个体和量词的定义、前束范式的定义。掌握将自然语言的问题描述转化为符号化语言的描述；熟练掌握合式公式类型及等值式的判定方法、主合取范式、主析取范式的求取。熟练掌握逻辑推理规则。 第二部分：集合论 了解集合，关系和函数的定义；理解集合、关系、函数的基本运算和性质；掌握集合等式的证明方法与技巧；熟练掌握应用关系描述实际问题的方法，内容包括笛卡尔积，关系的构造和关系图和关系矩阵的表示方法；熟练掌握应用容斥原理来统计集合中的元素个数、关系的性质及等价关系与偏序关系的结构。 第三部分：图论 了解图论的基本内容及其在计算机领域中的应用；理解图的基本概念、子图与补图概念，通路与回路的概念、图的连通性与连通度的概念；掌握图的表示方法、图的可达性与连通性的判断；熟练掌握树的性质，及几种特殊图的判定方法。 第四部分：组合数学 了解排列组合的概念、生成函数和指数生成函数的应用；理解基本的计数原则；掌握组合的生成方法及递推方程； 五、课程学时安排 章节号 教学内容 学时数 学生任务 对应课程目标 1 数理逻辑 14 作业1-14;2-5;3-17;4-5;5-5,7 课程目标1 2 集合论 16 作业6-5,31;7-20,25,41;8-19 课程目标2 3 图论 14 作业9-16,23,26;10-11,19;11-39 课程目标2 4 组合数学 12 作业12-8,21;13-1,4 课程目标1,2 六、考核方式及成绩评定 考核内容 考核方式 评定标准（依据） 占总成绩比例 过程考核 含到课率、课堂讨论发言、平时作业 点名记录 讨论发言记录 作业批改成绩 30% 期末考核 闭卷 卷面成绩 70% 考核类别 考查 成绩登记方式 百分制 七、推荐教材与主要参考书 （一）推荐教材： 1、《离散数学及其应用》，屈婉玲，耿素云，张立昂编著，高等教育出版社，2018年12月，第二版。 （二）主要参考书： 1、《离散数学》，耿素云、屈婉玲、张立昂，高等教育出版社，2015年5月，第二版； 2、《Discrete Mathematics and Its Applications》(第七版)，Kenneth H.Rosen，机械工业出版社，2017年1月。