离散数学是计算机学科的重要数学基础课之一离散数学是以离

这是理论指导实际的典型范例。
由于在计算机内,机器字长总是有限的, 它代表离散的数或其它离散对象。
因此随着计算机科学和技术的迅猛发展, 离散数学就显得重要。
离散数学是学习数据结构与算法、数据 库、编译原理、算法设计与分析、计算 机网络等课程的主要基础
对开发大型软件、研究信息安全和密码 学、开展计算机理论研究以及开发新型 计算机都提供了不可缺少的基础知识。 本课程是离散数学的一部分,包括： 集合论
如果一个集合元素个数有限，则称该集合为
有限集，否则称为无限集。
前面例子中的集合C、D是无限集，而A、B、 E则是有限集。
有限集A的元素个数称为集合A的基数,记为 |A|。
A={x|x是大于1小于6的质数},
|A|=3。
如果一个集合不含有任何元素,称为空集,记
为或{ }。 例 ： A={x|x2+1=0,x 为 实 数 } 是 空 集 ,|A|=||=0. 但{}不是空集，它是以为元素的集合 在集合中要注意，
定义1.2:集合A和B的元素全相同, 则称A和
B相等,记为A=B,否则称A和B不相等,记为
AB。 定理1.1:设A和B是两个集合,则A=B当且仅 当AB,且BA。
证明：(1)A=B，AB,且BA
(2)AB,且BAA=B
定义1.3:若AB,且AB ,则称集合A是集
合B的真子集, 记为AB。也可以说,A是
(1) 集合中的元素之间的次序是无关紧要的 例:{a, b, c}与{b, a, c}是完全相同的集合。 (2)集合中的元素是不能重复出现的 即{a,b,c,b,d}是不允许出现的
一个集合可以是其他集合的元素。 例:S={{a,b},{a,b,c},{d,e}} {a,b},{a,b,c},{d,e}都是集合S的元素。 {a,b,c}本身又是集合，其元素是a,b,c。 a,b,c都不是集合S的元素。 象这种以集合作为元素所组成的集合称
集合理论中出现了悖论。
为了解决集合论的悖论, 上世纪初开始 了集合论公理学方向的研究,它是数理逻 辑的中心问题之一。
从集合的基本概念和例子着手,对关系、 函数、基数等进行讨论,并简单介绍集合 论的悖论。
第一章 集合的基本概念
1.1 集合的表示
所谓集合是指具有共同性质的一些东西(对象) 汇集成一个整体。 用大写英文字母表示,例如S,A等。 构成一个集合中的那些对象称为该集合的元素, 用小写英文字母或数字等表示。 aA表示a是集合A的元素。 aA表示a不是集合A的元素。
(1)列举法：列出集合中的所有元素来表 示一个集合。
例：集合A的元素为1, 3, 5, 7, 9, 则A可表示为A={1, 3, 5, 7, 9}。
B={x1,x2,x3}也是采用了列举法。
(2)特性刻画法(描述法)：描述集合中元素具有 共同性质的方法来表示某个集合。
我 们 用 P(A) 表 示 元 素 a 满 足 特 性 P， 则 A={a|P(a)}就表示集合A是所有使P(a)成立的元 素所构成的集合。
定理1.4：设A,B,C是任意集合,U为全集, 下列等式成立:
(1)A∪A=A； A∩A=A
(幂等律)
(2)A∪B=B∪A; A∩B=B∩A (交换律)
(3)A∪(B∪C)=(A∪B)∪C;
A∩(B∩C)=(A∩B)∩C (结合律)
(4)A∪(B∩C)=(A∪B)∩(A∪C)(分配律)
A∩(B∪C)=(A∩B)∪(A∩C)
A∩B=A∩C不能得到B=C 例:A={1,2,3},B={3,4,5},C={3},
同样A-B=A-C不能得到B=C
下面引进的运算则具有消去律的性质.
A 和 B 的 对 称 差 , 记 为 AB,AB=(A-
B)∪(B-A)。
事实上有(A∪B)-(A∩B)=(A-B)∪(B-A)
证明: 左 (A B) (A B) (A B) (A B) ( A B) ( A B ) (狄 • 摩根律 ) (( A B) A) (( A B) B ) (分配律 ) (( A A) (B A)) ( A B ) (B B ) (分配律 ) ( (B A)) (( A B) ) (取补律 )
1.5 罗素悖论
命题：能区别真假的陈述语句。 例：我是学生。 今天不下雨。 上述两个都是命题。它们都能判别真假。 祝你一帆风顺！ 你明天下午出去吗？ 上述两个都不是命题。
所谓悖论, 是指对于命题Q,如果从Q为真, 可以推导出Q为假, 又从Q为非真推导出Q 为真, 我们就说命题Q是一个悖论。 显然如果从命题P可引出一个命题Q, 而Q 是一个悖论, 那么P也是一个悖论。
离散数学是计算机学科的重要数学基础 课之一
离散数学是以离散(即非连续)对象的数 量和空间关系为研究内容的数学若干个 分支的总称。
包括数理逻辑、近世代数、古典概率、 组合学、图论、集合论、数论、自动机 和形式语言、可计算性和可判定性、离 散几何等。
18世纪以前, 数学基本上是研究离散对 象的数量和空间关系的科学,
组合学
图论
Ⅰ集合论初步
集合论是现代数学的基础,它已深入到各种科 学和技术领域中,被广泛应用到数学和计算机 科学的各分支中去。在开关理论、形式语言、 数据库等领域得到了卓有成效的应用。
集合论的创始人康托尔(Cantor,1845--1918), 德国著名数学家
在1874年,发表了题为“关于所有实代数数所 成集合的一个性质”的论文，开创了现代集 合论的研究，为现代数学奠定了基础.
之后,因天文学,物理学的发展,如行星轨 道,牛顿三大力学定律等研究,极大地推 动了连续数学(以微积分,数学物理方程, 实、复变函数论为代表)的发展。
离散对象的研究则处于停滞状态
20世纪30年代, 图灵提出计算机的理论模
型——图灵机。
这种模型早于实际制造计算机十多年, 现实的计算机的计算能力, 本质上和图灵 机的计算能力一样。
然后证明 : A B A B
例：设A和B为两个集合，则
P(A)∩P(B)=P(A∩B) 证明：先证P(A)∩P(B)P(A∩B) 再证P(A∩B)P(A)∩P(B)
证明集合相等，除了用定理1.3外，还可 利用定理1.4给出的基本等式来证明。
例：(A∪B)-C=(A-C)∪(B-C)
n
n
Ai Ai
i 1
i 1
n
n
Ai Ai
i 1
i 1
随着数学的发展，人们发现单凭直观经 验建立起来的集合概念是靠不住的。
在1895年康托尔本人举例说明朴素集合 论将导致的矛盾,其中最有名的例子是英 国哲学家和数学家罗素(1872--1970) 在 1901年给出的, 在数学史上称为罗素悖论
(5)A∪U=U;A∩U=A;A∪=A;A∩=(恒等律)
(6) U, U , A A U, A A (取补律)
(7)A A
(双重补)
(8)A B A B, A B A B,
(狄 摩根律)
AB AB 首先证明: A B A B
中的元素所组成的集合, 即A-B={x|xA且xB}。
(4)A的补,记为A, A A。
集合的并,交,差,补也分别称为集合的并运算,交 运算,差运算, 补运算。
例 : A={1,2,3,4,5},B={1,2,4,6},C={7,8}, U={1,2,3,4,5,6,7,8,9,10}。
若 存 在 元 素 aA, 但 aB, 则 A 不 是 B 的 子 集.
例:{x|-1<x<2},0.5是该集合的元素,不是整 数集的元素,故集合{x|-1<x<2}不是整数集 Z的子集.
(1)空集是任何集合的子集 (2)若AB,BC,则AC
证明: (1)假设不成立。 (2)分析：要证明AC，则要证明A中任意一个元 素都是C中的元素。即出发点是对aA,而最终目 标是aC, 如何达到此目标，那就是利用条件AB,BC 证明：对aA，因为AB，所以有aB。 又因为BC，所以当aB时，必有aC 因此AC。
定义1.11：设集合A1,A2,…,An,定义:
A1∪A2∪…∪An={x| 至 少 有 某 个 i,1≤i≤nn,xAi},称为A1,A2,…,An的并,记为
Ai
i 1
A为1A∩1A,A2∩2,……∩,AAn的n={交x|,对记每为个i,1≤i≤n,n
xAi},称
Ai
i 1
二、运算的基本性质
( A B) (B A) (恒等律,交换律 )
对称差运算则是满足消去律的，即有 定理：若AB=AC，则B=C
证明留作习题
对于多个集合运算,除了并和交具有结合 律和交换律外,还有分配律和狄·摩根律:
B∩(A1∪A2∪…∪An)=(B∩A1)∪(B∩A2)∪…∪(B∩An) B∪(A1∩A2∩…∩An)=(B∪A1)∩(B∪A2)∩…∩(B∪An)
说谎悖论
有一个人断言:“我正在说谎”。
我们要问: 这个人是在说谎还是在讲真话?
如果他在说谎, 这表明他的断言“我正在说谎”是谎话,也 就是说他在讲真话。 即他说谎, 推出他是讲真话(即没有说谎)。
例：所有整数全体构成的集合，记为Z, 则3Z,-8Z,6.5Z,
今后我们将用 I或Z表示整数集; I+(Z+)表示正整数集; Q表示有理数集; Q+表示正有理数集; Q-表示负有理数集; R表示实数集; R+表示正实数集。
集合中的元素可以是具体的事物,也可以 是抽象的符号
一、集合的表示方法
例：C={x|x=y3,yZ+} D={x|-1<x<2} E={x|x为年龄小于20岁的人} 列举法用于元素个数较少的情况, 描述法用于元素个数较多(或无限),且各对象具 有共同性质的情况