离散数学 第2版 教学课件 李盘林 赵铭伟 徐喜荣 李丽双 19525 离散数学电子教案.docVIP

21st Century University Planned Textbooks of Computer Science (第2版) Discrete Mathematics (2nd Edition) 李盘林 赵铭伟 徐喜荣 李丽双 编著 □ 概念严谨精炼 □ 叙述简明清晰 □ 推理详尽严格 人民邮电出版社 POSTS TELECOM PRESS  第2版前言 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础。因此，它是计算机科学与技术专业的核心、骨干课程。一方面，它给后继课，如数据结构、编译系统、操作系统、数据库原理和人工智能等，提供必要的数学基础；另一方面，通过学习离散数学，培养和提高了学生的抽象思维和逻辑推理能力，为其今后继续学习和工作，进行科学研究，攀登科技高峰，打下扎实的数学基础。 本书第1版于2002年2月出版以来，六年来，先后多次印刷发行，已得到了普遍认可，被全国部分普通高校选作教材，本版除了勘误了第1版中的不妥之处外，还增加了一些新的章节，并相应补充了例题和习题，以适应高等学校教学改革的需要。 本书共12章，内容包括命题逻辑、谓词逻辑、集合、关系、函数、代数结构的概念及性质、半群与群、环和域、格与布尔代数、图的概念与表示、几类重要的图以及数论。 本书是笔者结合多年教学实践与科学研究，参考国内外教材，在力求通俗易懂、简明扼要的指导思想下编写而成的。在编写过程中有如下3点考虑。 1. 力求做到“少而精”，注意突出重点，论证详细明了，便于自学，在定理证明中多次运用归纳法，希望读者熟练掌握这一方法。 2. 在加强基本理论教学的同时，注意了分析问题、解决问题的技能培养和训练。书中各知识点均配有典型例子，并加以说明。此外，各章都配有适量的习题，希望通过做习题这个环节，来培养、提高学生解决问题的能力。 3. 一方面每章各有独立性，教师根据需要可以单独选讲几章；另一方面，尽可能注意各章之间的联系，规范并统一了符号和术语。 本书在编写过程中，得到了有关领导、老师和同学的热情关心、支持和帮助，在此一并表示感谢。 限于作者水平，书中难免有不当和疏漏之处，恳请读者批评指正。 编 者 于大连理工大学 2008年9月 目 录 第1章 命题逻辑 1 1.1 命题与联结词 1 1.2 合式公式及分类 3 1.3 等价式与等价演算 5 1.4 对偶式与蕴涵式 8 1.5 联结词的扩充与功能完全组 10 1.6 公式标准型——范式 12 1.7 公式的主范式 13 1.8 命题逻辑的推理理论 17 第2章 谓词逻辑 21 2.1 个体谓词和量词 21 2.2 谓词公式与翻译 23 2.3 约束变元与自由变元 24 2.4 公式解释与类型 26 2.5 等价式与蕴涵式 27 2.6 谓词公式范式 29 2.7 谓词逻辑的推理理论 30 第3章 集合 32 3.1 集合论基础 32 3.2 集合运算及其性质 34 3.3 集合的笛卡儿积与无序积 37 3.4 有限集合的计数 38 第4章 关系 40 4.1 二元关系 40 4.2 关系运算 43 4.3 关系类型 46 第5章 函数 51 5.1 函数基本概念 51 5.2 函数类型 52 5.3 函数运算 53 5.4 基数 55 第6章 代数结构概念及性质 58 6.1 代数结构的定义与例 58 6.2 代数结构的基本性质 58 6.3 同态与同构 63 6.4 同余关系 66 6.5 商代数 67 6.6 积代数 68 第7章 半群与群 70 7.1 半群和独异点的定义及其性质 70 7.2 半群和独异点的同态与同构 71 7.3 积半群 72 7.4 群的基本定义与性质 73 7.5 置换群和循环群 74 7.6 子群与陪集 77 7.7 群的同态与同构 80 第8章 环和域 83 8.1 环 83 8.2 子环与理想 85 8.3 环同态与环同构 86 8.4 域 88 第9章 格与布尔代数 90 9.1 格 90 9.2 布尔代数 97 9.3 子布尔代数、积布尔代数和布尔代数同态 99 9.4 布尔代数的原子表示 100 9.5 布尔代数B2r 101 9.6 布尔表达式及其范式定理 102 第10章 图的概念与表示 106 10.1 图的基本概念 106 10.2 链(或路)与圈(或回路) 111 10.3 图的矩阵表示 115 10.4 最短链与关键路 124 第11章 几类重要的图 128 11.1 欧拉图与哈密尔顿图 128 11.2 二部图 134 11.3 树 136 11.4 平面图 1