《离散数学》教学大纲_信计.docVIP

《离散数学》教学大纲 （熊新华　2011-6-15） 课程名称：《离散数学》 课程编码： 学分： 4学分 总学时： 64学时 适用专业：信息与计算科学 先修课程：数学分析、高等代数 一、课程的性质、目的与任务 性质：本课程为信息与计算科学专业、计算机科学专业的必修课，也可以是数学与应用数学专业的选修课。 目的与任务：离散数学是以离散量作为研究对象的那些数学分支的总称，它的基本内容为数理逻辑、集合论、代数结构和图论四大部分。各个部分从不同的角度研究各种离散量的结构和相互关系，它们既是独立的又是相互有联系的。其目的是使学生通过学习能得到严格的逻辑推理与抽象思维能力的训练，为进一步学习专业课打下坚实的数学理论基础，也为迎接未来数学、计算机科学新技术的挑战作些必要的理论储备。 二、教学基本要求 学习过程中要掌握各个部分的特点及它们间的关系，明确基本内容的要点，通过例题掌握解题的方法，通过习题巩固所学的知识，提高逻辑推理与抽象思维能力。 三、教学内容 第1章 The Foundations: Lodic and Proof, Sets and Functions（22学时） 本章教学目标与基本要求： 掌握命题及五个联结词的概念 掌握命题公式的生成及利用真值表对命题公式的判定 熟悉常用的命题等价公式和蕴涵公式 了解其它联结词和最小联结词组的概念 熟练掌握主合取范式与主析取范式的表示 熟练掌握推理规则进行命题演算的推理 掌握谓词与量词的概念 掌握约束变元与自由变元的概念 熟悉常用的谓词等价公式和蕴涵公式 熟练掌握前束合取范式与前束析取范式的表示 熟练掌握UG规则、UI规则、EG规则、EI规则进行谓词演算的推理 掌握集合的基本概念 掌握集合的运算及相关定律 掌握幂集的概念 掌握n元组与笛卡儿积的概念 本章教学重点： 命题的概念，真值表，常用的命题等价公式，主合取范式与主析取范式的表示，推理规则进行命题演算的推理，谓词与量词的概念，UG规则、UI规则、EG规则、EI规则进行谓词演算的推理，集合的运算及相关定律 本章教学难点： 主合取范式与主析取范式的表示，UG规则、UI规则、EG规则、EI规则进行谓词演算的推理 1.1 Logic …………………………………………………… 4 学时 1.2 Propositional Equivalences …………………………… 2学时 1.3 Predicates and Quantifiers …………………………… 2 学时 1.4 Nested Quantifiers ……………………………………… 2 学时 1.5 Methods of Proof ………………………………………… 4 学时 1.6 Sets ………………………………………………………… 1 学时 1.7 Set Operations …………………………………………… 1 学时 第2章 relations （10学时） 本章教学目标与基本要求： 掌握关系的概念及其表示方法 掌握关系的性质与闭包 掌握等价关系与等价类的划分 掌握偏序关系和哈斯图的表示 本章教学重点：关系的概念及其表示方法, 关系的性质与闭包, 等价关系与等价类的划分, 偏序关系和哈斯图的表示 本章教学难点：偏序关系和哈斯图的表示 本章教学内容： 2.1 Relations and Their Properties …………………… 1 学时 2.2 n-ary Relations and Their Applications…………… 1 学时 2.3 Representing Relations ……………………………… 2 学时 2.4 Closures of Relations ………………………………… 1 学时 2.5 Equivalence Relations ………………………………… 1 学时 2.6 Partial Orderings ……………………………………… 2 学时 第3章 Graphs（16学时） 本章教学目标与基本要求： 掌握图的基本概念及其表示 了解图的同构概念 掌握图的连通概念 掌握欧拉图与哈密顿图 掌握最短路问题的Dijkstra算法，并能用该算法解决实际问题 掌握图的平面图的概念，了解判别平面图的条件 掌握图的染色概念 本章教学重点：图的基本概念及其表示，图的连通概念，欧拉图与哈密顿图， Dijkstra算法，平面图的概念，染色概念及其应用。 本章教学难点：平面图的概念，Dijkstra算法： 本章教学内容： 3.1 Introduction to Graphs ………………………………… 2 学时 3.2 Graph Terminology ………………………………………