离散数学第一章教学课程ppt精选.pptxVIP

离散结构; 离散数学是一门范围很广的学科。粗略地讲，离散数学是研究基于离散空间而不是连续的数学结构。 譬如，一条直线 可以看成由有限多个离散点组成。; 计算机运算的对象是离散的，因此离散数学是计算机科学的数学语言，它为数据结构、算法、数据库理论和形式语言等计算机专业课程提供了数学基础。 我们使用离散数学里的概念和表示方法来研究和描述计算机科学里的对象和问题。;4;5;2016-9-4;课程要求;第一章 集合 ;例如：;关于集合的概念有两点需要注意：;例如：;集合的概念;;二、集合的表示方法;N：正整数或者自然数集合{ 1,2,3,… } Z：非负整数集合{ 0,1,2,3,…} I： 整数集合{ 0,-1,1,-1,2,…} Q：有理数集合Q= { x| x=p/q, p,q∈I,且q≠0} R：实数集合R={x| x是实数} C：复数集合C= { x| x=a+bi, a,b ∈ R, i= } Nm(m≥1)：介于1和m之间的正整数集?? { 1,2,…,m } Zm(m≥1)：介于0和m-1之间的非负整数的集合{0,1,2,…,m-1};列举法表示集合的例子;描述法表示集合;比较两种表示方法可以看出： 列举法的好处是可以具体看清集合的所有元素； 描述法的好处是刻画出了集合元素的共同特征。 具体应用时可根据方便任意选用，不受限制。;三、空集和集合的基数;四、罗素悖论; 在一个小镇上，有一个理发师在自己的理发店里定了一个规矩 P : “他只给该城那些不能给自己理发的人理发” 。;悖论产生的原因;1.2 集合的子集;例如：B={3,4,6}， A1={3,4} ， A2={3,6};定义1-3: ;;集合的包含关系具有如下几条性质： ;对任意集合A, ??A 证明: 反证法（设结论不成立，推出矛盾） ;定理: 空集是唯一的. 证明: 设?1与?2都是空集, 则： ?1??2 且 ?2??1 ? ?1=?2 .;1.3 幂集;定理1-2: 设A是具有基数#A的有限集， 则 #(2A )=2#A.;例：确定集合A={ a,{a} }的幂集。;列举幂集的一种特殊方法; A = {a1,a2,a3,a4,a5,a6} B7 = B000111 ={a4,a5,a6} B12= B001100 ={a3,a4} ;集合族: 由集合构成的集合. { {6}, {1,5} , {2,4}, {1,2,3} } 幂集都是集族.;指标集(index set): 设A是集合族, 若 A = { Ai | i?K }, 则K称为A的指标集. K中的元素与A中的集合是一一对应的. 也记作 A = { Ai | i?K } = {Ai}i?K 例: {A1,A2}={ Ai| i?{1,2} }={ Ai }i?{1,2};定义1-6: 如果一个集合包含了某个问题中所讨论的所有集合 ,则称这个集合是该问题的全域集合，简称全集合，记作U。;定义1-7：设有集合A、B，A与B的并集记作 A∪B＝{u | u∈A或 u∈B} ;定义1-8：设有集合A、B，A与B的交集，记作： A∩B＝{u | u∈A且u∈B};不相交: A?B=? 互不相交: 设A1,A2,…是可数多个集合, 若对于任意的i?j, 都有Ai?Aj=?, 则说它们互不相交;定义1-9 设有集合A、B，所有属于B而不属于A的元素组成的集合，称为A关于B的相对补集(B与A的差集)，记作B-A。;定义1-10 集合A关于全集合U的相对补集称为A的绝对补集，简称为A的补集，记作A’。 A’=U-A ={u|(u ?U, u ?A)} ={u | u ?A)};;45;练习;例2：给定下列正整数集合N的子集 (p24T11);解：;证明：;例4: 在一个班级的50个学生中，有26个人在离散数学考试中取得了优秀的成绩；有21人在程序设计考试中取得了优秀的成绩，假如有17人两次考试中都没有取得优秀的成绩，问有多少个学生在两次考试中都取得了优秀？; ;但是Φ∈2A－B;解：若 ① 2A－2B ＝ Φ ，结论显然成立