主讲人： 杨凤杰.PPTVIP

离散数学 离散数学在教给学生离散问题建模、 数学理论、计算机求解方法和技术 知识的同时，培养学生的数学抽象能力与严密的逻辑推理能力。通过本课程的学习，能使学生掌握进一步学习其它课程所必需的离散数学知识，并增强学生使用离散数学知识分析问题与解决问题的能力。 本书分为九章，主要内容为 第一章介绍集合论基础知识，包括映射、 关系、基数等知识。 第二章和第三章属于数理逻辑部分，主 要介绍经典命题逻辑和谓词逻辑的基础知识。 第四章介绍图论方面的基本知识，包括图，有向图与Euler路，无向图与Hamilton路，平面图与二部图。 第五章讨论数论基础知识，包括整除性，质因数分解，合同，一次同余式。 第六章和第七章是抽象代数的群、 环和域的基本内容。 第八章介绍格论和布尔代数方面 的基础知识。 第九章介绍了计算模型中的三种类型的结构，即语法、有限状态机和图灵机。阐述了它们在语言识别方面的应用。 第一章 集合论基础 §1.1 集合的基本概念 集合是数学中最基本的概念。既然是最 基本的概念，它就不是很好定义，一般 只是说明。最基本的东西就是大家都知 道的东西。要说明什么是集合，有多种 描述方法：“所要讨论的一类对象的整体”；“具有同一性质单元的集体”等。当我们讨论某一类对象的时候，就把这一类对象的整体称为集合。而集合中的对象就称