离散数学课程教学大纲(本科).docVIP

离散数学课程教学大纲 一、教学方案 课程简介 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是计算机科学与技术的支撑学科。它在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能与机器人、数据库、网络、计算机图形学、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握离散结构的描述工具和处理方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。 课程的教学目标 通过这门课程的教学，不仅为学生的专业课学习及将来所从事的软、硬件开发和应用研究打下坚实的基础，同时也能培养他们的抽象思维能力和逻辑思维能力，提高他们分析问题解决问题的能力。 课程的基本要求 本课程包括四部分：数理逻辑、集合论、代数结构与图论。数理逻辑部分要了解命题逻辑的基本概念；熟练掌握析取范式与合取范式的求法；掌握自然推理系统的推理理论；掌握一阶逻辑的推理理论。集合论部分要了解集合的基本概念及运算；掌握二元关系的运算、关系的性质、关系的闭包；掌握等价关系和划分及偏序关系。代数结构部分掌握二元运算及性质；掌握代数系统的概念；掌握群及子群 ；陪集与拉格朗日定理；正规子群和商群；同态基本概念；循环群和置换群；掌握格的定义；掌握布尔代数。图论部分图的基本概念，通路与回路，图的连通性，图的矩阵表示；掌握树、生成树、根树的定义及其性质。 课程的学时分配 课堂教学 总学时：48 章节内容 学时 命题逻辑基本概念 2 命题逻辑等值演算 4 命题逻辑推理理论 3 一阶逻辑基本概念 2 一阶逻辑等值演算与推理 3 集合代数 2 二元关系 8 函数 2 第十章 代数系统 2 第十一章 半群与群 7 第十三章 格与布尔代数 4 第十四章 图的基本概念 3 第十六章 树 3 机动 2 教材与参考书 (1) 推荐教材： 《离散数学》(修订版)，耿素云等，高等教育出版社，2004年1月 (2) 参考书：[1] 《离散数学》(第二版)，耿素云等，清华大学出版社，1992年2月 [2] 《离散数学基础》 第二版，洪帆主编，华中理工大学出版社。 [3] 《离散数学基础题解》，李为监等， 人民邮电出版社，1982年2月 [4] 《离散数学》 杨杰 于忠文 编 山东大学出版社(专科教材) [5]《离散数学基础》 (美)刘著 人民邮电出版社 教学手段及教学条件配置 使用多媒体课件来教学；需配置多媒体教室且计算机中要安装Powerpoint等课件制作软件。 考试、考核方式 闭卷考试。 教学质量评价方法 通过学生的期终考试成绩和平时成绩来评价教学质量。 二、课堂讲授内容 第一章 命题逻辑基本概念 1、教学内容 § 1.1 命题与联结词 § 1.2 命题公式及赋值 2、教学重点：命题的概念，联结词的使用，命题公式及赋值，真值表 3、教学难点：联结词的使用，命题公式及赋值 4、教学方法与手段：课堂多媒体课件教学 5、课外训练指导方案：教材P.15习题一 6、自学指导方案： 6、参考书及内容位置： 参考书[1] § 1.1，§ 1.2 P1-P8 第二章 命题逻辑等值演算 1、教学内容 § 2.1 等值式 § 2.2 析取范式与合取范式 2、教学重点：16组常用等值式，主析取范式与主合取范式的求法及应用 3、教学难点：主析取范式与主合取范式的求法 4、教学方法与手段：课堂多媒体课件教学 5、课外训练指导方案：教材P.39习题二 6、自学指导方案：自学教材§2.3 联结词完备集 7、参考书及内容位置: 参考书[1] § 1.3，§ 1.4，§ 1.5 P8-P22 第三章 命题逻辑的推理理论 1、教学内容 § 3.1 推理的形式结构 § 3.2 自然推理系统P 2、教学重点：推理定律，构造推理证明 3、教学难点：推理定律，构造推理证明 4、教学方法与手段：课堂多媒体课件教学 5、课外训练指导方案：教材P.57习题三 6、参考书及内容位置: 参考书[