离散数学-第1章-集合.pptVIP

离散数学 西安交通大学 电子与信息工程学院 计算机系 联系方式 钱 屹 电话邮箱：yqian@mail.xjtu.edu.cn 办公室：科学馆521 课程安排 48课时 上课时间：1--12周 考试：15周左右（12月中下旬） 课程主要内容 第一章 集合 第二章　关系 第三章　函数 第四章　代数系统 第六章　图论 教学方式与要求 上课为主 不迟到、不缺课 作业 独立完成、按时提交 课堂练习 积极参与 考试 离散数学 研究离散量的结构及其相互关系。 是计算机及相关专业的核心主干课程，也是数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。 离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。 离散数学 ACM和IEEE共同制定的计算机科学的课程大纲（离散结构） 离散的数学结构 组合数学（计数基础） 概率统计（离散概率） 离散数学Discrete Mathematics 序言： 离散数学是现代数学的一个重要分支，计算机科学基础理论的核心课程。它充分描述了计算机科学的离散性特点，是随着计算机科学的发展而逐步建立起来的新兴的基础性学科。 本课程作为计算机科学的基础性课程，把握离散数学的关键性问题，介绍四大块内容：集合论、代数系统、图论、数理逻辑。 这些和计算机科学密切相关的理论和结构安排，既着重于各部分之间的紧密联系，又深入探讨各部分内容的概念、例子、理论、算法、以及实际应用。 离散数学 证明方法除了大量的运用常用的（数学）归纳法、演绎法、反证法、归谬法、二难法、二分法、枚举法（穷举法）、相容排斥法等方法之外，特别着重于存在性、结构性、构造性方法，以及各部分内容自己所特有的方法（比如图论的删点增点方法、删边增边方法、伸路蹦圈方法）。 离散数学 课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中； 课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。 离散数学 课程特点 知识内容抽象 事物之间的关联关系 关系是结构的灵魂 学习目标：培养正确的思维方法 进行思维过程训练 思维过程包含了概念、判断、推理之间的结构和联系 正确的概念 准确的判断 可靠的推理 离散数学 概念是思维的基本单位（定义） 判断是根据概念对事物是否具有某种属性进行肯定或否定的回答。 推理是由一个或几个判断得出一个新的判断的思维形式。 正确的概念 准确的判断 可靠的推理 离散数学 问题1：在公元十八世纪的东普鲁士有个哥尼斯堡城，哥尼斯堡城位于普雷格尔河畔，河中有两个岛，城市中的各个部分由七座桥相连。当时，城中的居民热衷于这样一个问题，从四块陆地的任一块出发，怎样才能做到经过每座桥一次且仅一次，然后回到出发点。 离散数学 问题抽象为从下图任意一点出发，经过每条边一次且仅一次，再回到原点。 离散数学 问题2：将下图中的边随意图上红色或绿色，只有这两种颜色，无论你怎么涂，总存在一个红色三角形或绿色三角形。 离散数学 目 录 序言 第一章　集合 第二章　关系 第三章　函数 第四章　代数系统 第六章　图论 离散数学 第一章　集合 (set) §１.集合理论中的一些基本概念 　　　　?个体与集合之间的关系 　　　　?集合的表示法 　　　　?集合与集合之间的关系 　　　　?幂集 §2 .集合代数　集合的基本运算 　　　 ?集合的补运算 　　　　?集合的交运算和并运算 　　　　?集合的宏运算 离散数学 第一章　集合 (set) §１.集合理论中的一些基本概念 集合概念将作为一个不言自明的元概念（基本概念）。它不能用别的术语来精确的定义，只能用别的术语来加以说明。它本身就是用来定义其它概念的概念。 　　我们来