离散数学大纲720.docVIP

贵州财经学院 《离散数学》教学大纲 Discrete Mathematics 课程代码： 编写单位： 数学与统计学院 执笔人： 余孝军、邓小宇 审核人： 张洁 编写时间： 2006年7月18日 贵州财经学院教务处印制 2006年 7 月 18 日 课程中文名称 离散数学 课程英文名称 Discrete Mathematics 课程性质 数学与应用数学的必修课 适用专业 数学与应用数学专业 先选课程 高等代数、解析几何、数学分析 并修课程 总学时 51 总学分 3 使用教材 耿素云.《离散数学》（第三版）. 北京: 清华大学出版社, 2004 参考书目 （1）耿素云. 《离散数学》（修订版）. 北京: 高等教育出版社, 2004 （2）魏晴宇等. 《离散数学》. 北京: 中国人民大学出版社, 2001 （3）John A.Dossey等. 《离散数学》. 北京: 请华大学出版社,2005.9 教学方式 以课堂教学为主，充分利用现代化教育技术，提高教学效果。 考核方式 闭卷考试 课程概述 离散数学是现代数学的重要分支，是一门重要的计算机专业基础课，是研究离散量的结构及相互关系的学科 第一章 命题逻辑 14 第二章 一阶逻辑 10 第五章 代数系统的一般性质 6 第六章 几个典型的代数系统 6 习题课 2 第七章 图的基本概念 6 第九章 树 4 总复习 2 总学时合计 51 第一章 命题逻辑 [教学内容] 命题符号化及联结词，命题公式及分类，等值演算，联结词全功能集，对偶与范式，推论理论。 [教学目标与要求] （1） 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。了解真值表法及公式的分类。（2） 熟练掌握常用的基本等值式及其应用。 （3） 理解异或、与非式、或非式三种联结词的概念，掌握全功能集的概念。 （4） 理解对偶的概念及对偶定理，熟练掌握（主）析/合取范式的求法及其应用。 （5） 熟练掌握常用的永真蕴涵式（推理定律）及其在逻辑推理中的应用。 （6） 理解推理规则，熟练掌握推理的证明及两种常见证明方法。 [重点与难点] （1）重点： 命题公式的等值式，（主）析取范式，推理的证明。 （2）难点： 主析取范式的求法，推理的证明。 [教学时数] 理论教学时数：14课时。 第1.1节 命题符号化及联结词 一、命题、原子命题、命题常项、命题变项、复合命题的概念五种常用的命题联结词和对命题进行符号化。 ?命题公式及分类 命题公式的概念、命题公式的解释 三、公式的分类及利用真值表判断公式的类型等值演算等值的概念24 个基本等值演算定律运用命题公式的基本等值式进行等值演算联结词全功能集 、真值函数 、冗余的联结词、独立的联结词联结词的全功能集 五、极小全功能集的概念1.5节 对偶与范式 、对偶的概念 、简单析取式、简单合取式、合取范式、析取范式、极大项、极小项、主析取范式、主合取范式的概念及极大项、极小项的抽象表示法及利用命题公式的主范式进行公式的分类、命题公式的范式存在定理和命题公式的主范式存在定理?[复习思考题] 习题 1.12 1.13 [阅读参考书目及文献] （1）耿素云. 《离散数学》（修订版）. 北京: 高等教育出版社, 2004 （2）魏晴宇等. 《离散数学》. 北京: 中国人民大学出版社,2001 （3）John A.Dossey等. 《离散数学》. 北京: 请华大学出版社,2005.9 第1.6节 推理理论推理理论概念8 个推理定律和 11 个推理规则、推理理论进行构造证明个体词、谓词、个体常项、个体变项、谓词常项、谓词变项、量词、全称量词、存在量词、特性量词的概念 命题进行一阶逻辑的符号化 [复习思考题] 习题 2.1 2.3 [阅读参考书目及文献] （1）耿素云. 《离散数学》（修订版）. 北京: 高等教育出版社, 2004 （2）魏晴宇等. 《离散数学》. 北京: 中国人民大学出版社,2001 （3）John A.Dossey等. 《离散数学》. 北京: 请华大学出版社,2005.9 第2.2节 一阶逻辑合式公式及解释 一、项、原子命题、合式公式、一阶逻辑合式公式的解释的概念 二、判断一阶逻辑合式公式的真值 三、指导变项、辖域、约束出现、自由出现、闭式、换名规则、代替规