第三章 集合与关系专用课件.ppt

设R是集合A={a,b,c,d}上的二元关系，且R={a,a,a,b,a,c,a,d,c,b,d,b,d,c} ，则R具有（ ）。 A．自反性、反对称性 B．反自反性、传递性 C．自反性、对称性 D．反对称性、传递性 设有A={a,b,c}上的关系R={a,a,b,b,a,b,b,a,c,a,a,c}，则R具有( ) A. 自反性 B. 对称性 C. 传递性 D. 反对称性 集A上的等价关系R，其等价类集合称为A关于R的商集，记A/R. A／R＝{[1]R , [2]R}。 集合A上的等价关系，决定了A的一个划分，该划分就是商集A／R。 离散数学与计算机?? ? ?? 计算机科学与技术学科与电子科学、工程以及数学有很深的渊源。计算机科学家一向被认为是独立思考、富有创造性和想象力的。现实世界中问题的求解建立在高度的抽象级别上，问题的符号表示及其处理过程的机械化、严格化的固有特性，决定了数学是计算机科学与技术学科的重要基础之一，数学及其形式化描述、严密的表达和计算是计算机科学与技术学科所用的重要工具，建立物理符号系统并对其实施变换是计算机科学与技术学科进行问题描述和求解的重要手段。 我们更应看到，随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。作为一个学习计算机技术学科的学生除了接受学好传统意义上的数学外应该格外重视离散数学的学习。离散数学是计算机科学的基础内容，计算机技术的许多领域都要用到离散数学中的概念。离散结构包括集合论、逻辑学、图论和组合学等重要内容。这些内容对每一个从事计算机技术的人都要求掌握和了解。因为在形式证明、验证、密码学的研究与学习中要有理解形式证明的能力；图论的概念被用于计算机网络、操作系统和程序设计语言的编译系统等领域；集合论的概念、关系代数等在软件工程和数据库中也会用到。总之，为了适应计算技术的要求及将来的发展，学生需要对离散结构有比较深入的理解。 走进离散数学??? ??离散数学是研究离散数量关系和离散结构数学模型的数学分支的统称。离散与连续是数量关系中一对极为深刻的矛盾，它们之间的对立与统一是数学发展的重要动力之一。离散是连续的否定，即不连续；连续则是指事物、数量的一种属性，这种属性使它们容易被分割或结合，并且不会因此而丧失它们原有的本性。例如，实数是连续的，整数则是离散的；马铃薯是离散的，而马铃薯羹则是连续的。?????古代数学主要讨论整数、整数的比（有理数），它甚至（德莫克利特）把几何图形也看作是由很多孤立的原子组成的。因而，那时数学被看作是研究离散的或离散化了的数量关系的科学。?????随着数学理论的不断发展（不可通约线段的发现,对无限概念的深入探讨），同时由于处理离散数量关系的数学工具在刻划物体运动方面无能为力，近代出现了连续的数量概念--实数，出现了处理连续数量关系的数学工具--微积分。因此，近代数学主要研究连续数量关系及其数学结构、数学模型，并且取得了极其辉煌的成果。近代数学的这一特征，一直延续至今，仍在现代数学中占据支配地位。 ?????然而，近50年来，数字电子计算机的飞速发展与广泛应用，极大地冲击了现代数学。由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临这样一些问题：如何高速、有效地处理离散的对象和离散的数量关系，如何对离散结构建立离散数学模型，又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。于是，人们开始重新认识离散数量关系的研究意义，重新重视讨论离散数量关系的数学分支，并取得新的发展。离散数学学科的出现和发展是上述事实的逻辑结果。 离散数学课程是介绍离散数学各分支的基本概念、基本理论和基本研究方法、研究工具的基础课程，业已成为计算机科学与技术专业的核心基础课程, IEEEACM的CC2001教程更是以十分显著的方式强调了这一点。离散数学课程所涉及的概念、方法和理论，大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、软件工程、人工智能、多媒体技术、计算机网络等专业课程以及信息管理、信号处理、模式识别、数据加密等相关课程中；它所提供的训练，十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。这些能力与态度是一切软、硬件计算机科学工作者所不可缺少的。离散数学课程所传授的思想和方法，广泛地体现在计算