新疆师范大学《离散数学》课件-第1章基础知识_第1页
新疆师范大学《离散数学》课件-第1章基础知识_第2页
新疆师范大学《离散数学》课件-第1章基础知识_第3页
新疆师范大学《离散数学》课件-第1章基础知识_第4页
新疆师范大学《离散数学》课件-第1章基础知识_第5页
已阅读5页,还剩45页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第一章基础知识§集合与序列§计数基础§布尔矩阵及其运算1新疆师范大学《离散数学》E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合集合论的创始人是德国数学家康托(GeorgCantor)。他对集合论的思考与研究是从对三角级数的研究中产生的。1874年他发表了第一篇关于无穷集合的文章,开创了集合论。当今,集合的概念和方法被广泛地应用于各种科学和技术领域,是当代科学技术研究中必不可少的数学工具和表述语言。它也是计算机科学与软件工程的理论基础,在程序设计、形式语言、关系数据库、操作系统等计算机学科中都有重要的应用。2E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合集合是数学中最基本的概念,较难给出严格精确定义。通常将若干个可确定、可分辨的对象构成的无序整体称为集合(set),常用大写英文字母

A,B,C,X,Y,Z等表示。组成集合的对象称作该集合的元素(element),常用小写英文字母

a,b,c,x,y,z等表示。若对象

a是集合

S的元素,则记作

a

S,读作

a属于

S;若对象

a不是集合

S的元素,则记作

a

S,读作

a不属于

S。3E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合例R:“方程x2

2=0的所有实数解”是集合S:“12的所有正约数”是集合P:“复平面上的所有点”是集合Q:“清华大学的全体学生”是集合“很大的实数”不是集合“清华大学的全体年轻教师”都不是集合4E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合组成一个集合的条件是能够明确地判断任意一个对象是或者不是该集合的元素,二者必居其一集合中的元素没有次序,一个集合中也没有相同的元素,如果一个集合中出现若干个相同的元素,则将它们作为一个元素即一个集合由它的元素所决定而与描述它时列举其元素的特定顺序无关在同一个集合中的诸元素并不一定存在确定的关系为了体系的严谨性,规定:对于任意集合A都有A

A5E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合使用形式化方法表示一个集合有两种方式:(1)外延表示法(列举法)——逐个列出集合的元素,元素与元素之间用逗号“,”隔开,并将所有元素写在花括号“{}”里,如:A={a,b,c},B={0,1,…,10},C={0,1,2,…}(2)内涵表示法(描述法)——假设

P(x)是一个包含

x

的陈述句,表示

x

所具有的性质;对于每个确定的

x,可以明确断定

P(x)的正确与否。集合

{x|P(x)}

表示所有使

P(x)

为真的对象

x

所组成的集合,如:N+={x|x是正整数},R={x|x2

2=0且x是实数}6E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合设

A

B

是两个集合,如果

A

的任意一个元素都是

B

的元素,则称

A

B

的子集(subset),称

B

A

的超集(superset),记作

A

B

(或

B

A

),读作

A

包含于

B

B

包含

A

。(a)

表示集合与集合之间关系,而

表示元素与集合之间关系(b)设A、B、C是三个集合,若A

B且B

C,则有A

C7E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合设

A

B是两个集合,如果

A

B

B

A,则称

A

B

相等,记作

A=B;否则称它们不相等,记作

A

B。

两个集合相等,当且仅当它们具有相同的元素。设

A

B

是两个集合,如果

A

B

A

B,则称

A为

B

的真子集(propersubset)记作

A

B(或

B

A)。如果

A是

B的真子集,则集合

A

中的每一个元素都属于

B,但集合

B

中至少有一个元素不属于

A8E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合在讨论的具体问题中,所讨论对象全体称作全集(universalset),记作

U

。在讨论的具体问题中,所提及的集合均是全集的子集。而针对不同的具体问题可能会有不同的全集不包含任何元素的集合称作空集(emptyset),记作

。9E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合定理

设A是任意一个集合,

是空集,则有(a)A

A,(b)

A。证明.(a)对于任意集合A,它的任一元素都是其自身的元素,因而A

A。(b)(反证法)若存在集合

A使得

不是

A的子集,则由定义存在元素

x

而且

x

A;但这与空集的定义相矛盾,因此假设不成立,原结论成立。

10E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合

推论

空集是唯一的。证明.设

1和

2都是空集,则

1

2且

2

1,有

1=

211E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合一个集合

A所包含的元素数目称为该集合的基数或势(cardinality),记作|A|或

#A或

card(A)。若

|A|<∞,则称

A

为有限集或有穷集(finiteset),否则称

A

为无限集或无穷集(infiniteset)。例card({a,b,2,c})=4card(

)=012E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合假设

A

是集合,A

的所有子集所组成的集合称作

A的幂集(powerset),记作P(A),即

P(A)={x|x

A}。例

A={a,b,c}P(A)={

,{a,b},{a,c},{b,c},{a},{b},{c},{a,b,c}}13E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合的运算设

U

为全集,A、B为

U

的两个子集,则:(a)A与

B

的交集(intersection)A∩B={x|x

A且

x

B};(b)A与

B

的并集(union)A∪B={x|x

A或

x

B};(c)B

关于

A

的相对补(complementofBwithrespecttoA)或

A

B

的差集(difference)A

B定义为

A

B={x|x

A且x

B},也记作

A\B;(d)A

关于全集

U

的相对补称作A的绝对补或补集(complement),记作A(或

~A),即A={x|x

U且x

A};(e)A与

B的对称差(symmetricdifference)A

B

定义为A

B={x|x

A或x

B且x不同时属于A和B}。14E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441015集合的运算U={0,1,…,9},

A={0,1,2,3},B={1,3,5,7,9}A∪B={0,1,2,3,5,7,9}A∩B={1,3}A

B={0,2}A={4,5,6,7,8,9}B={0,2,4,6,8}A

B={0,2,5,7,9}E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410集合的运算交运算、并运算也可以扩展到多个集合上A∪B∪C={x|x

A

x

B或

x

C

}A∩B∩C={x|x

A

x

B

x

C

}

16E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441017集合的运算交换律A∪B=B∪A

A∩B=B∩A结合律(A∪B)∪C=A∪(B∪C)(A∩B)∩C=A∩(B∩C)E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441018集合的运算分配律

A∪(B∩C)=(A∪B

)∩(A∪C)A∩(B∪C)=(A∩B)∪(A∩C)吸收律A∪(A∩B)=A,A∩(A∪B)=A幂等律A∪A=A,A∩A=AE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441019集合的运算双重否定律A

=A矛盾律A∩A=

排中律A∪A=U余补律

=U,U

=

E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441020集合的运算零律

A∪U=U,A∩

=

同一律

A∪

=A,A∩U=AE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E6441021集合的运算德·摩根律A∪B=A∩BA∩B=A∪BA(B∪C)=(A

B)∩(A

C)A(B∩C)=(A

B)∪(A

C)U(B∪C)=(U

B)∩(U

C)U(B∩C)=(U

B)∪(U

C)E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图英国逻辑学家维恩(J.Venn)于1881年在《符号逻辑》一书中,首先使用相交区域的图解来说明类与类之间的关系。后来人们以他的名字来命名这种用图形来表示集合间关系和集合运算的方法,称作维恩图(Venndiagrams)或文氏图。22E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图23AUBE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图24BA

BAE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图25BAA

BE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图26UAAE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图27BAA∩BE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图28BAA∪BA∩BE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图29BA

BA∩BAE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图30A

BBAA∩BE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图31UBA∩BAAAE6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图U={0,1,…,9},A={0,1,2,3},B={1,3,5,7,9}A∪B={0,1,2,3,5,7,9}A∩B={1,3}A

B={0,2}A={4,5,6,7,8,9}B={0,2,4,6,8}A

B={0,2,5,7,9}32E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410维恩图33UBA3120759468E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410第一章基础知识§集合§序列§布尔矩阵及其运算34E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410序列序列(sequence)是被排成一列的对象,各对象之间的顺序非常重要。序列中的对象也称为项(item),项的个数(可能是无限的)称为序列的长度(length)。取出序列中的某些特定的项并保持它们在原来序列中的顺序,所得到的新序列称为原序列的子序列(subsequence)。35E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410序列例1,2,3,4,5,1,2,32,3,5,7,11,13,…1,4,9,16,25,36,…apple,egg,egg,apple,egg,egg,…{a},b,{{b}}d,i,s,c,r,e,t,e36E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410序列对于给定的集合

A,定义

A

为所有由

A

中元素生成的有限长度序列全体,A

中元素称为

A

上的词(word)或串(string)在不引起混淆时,也可忽略序列各项间的“,”。

A

中的空序列称作空串(emptystring),记作

。此时

A也称作字母表(alphabet)37E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410序列例A={a,b,c,…,z

}A

包含所有有限长度的英文“单词”——无论其是否具有意义,如:batcatdjoutrqoanlglkjrasdfg38E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410序列假设A是集合,w1=s1s2s3…sn和w2=t1t2t3…tm

都是

A

中元素,

可定义

w1和

w2的连接(catenation)

为s1s2s3…snt1t2t3…tm,记作w1◦w2。w◦

=

◦w

=w例假设A={a,b,c,…,z},post,office

A

,则post◦office=postoffice。39E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410第一章基础知识§1.3计数基础§1.3.1加法法则与乘法法则40E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则加法法则:设事件

A

m

种产生方式,事件

B

n种产生方式,则当

A

B产生的方式不重叠时,“事件

A

B

之一”有

m+n

种产生方式。加法法则又称作加法原理(additionprinciple)适用于分类选取问题41E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则例某班选修《古代诗歌鉴赏》的有8人,不选的有15人,则该班共有8+15=23人。42E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则加法法则的推广:事件

A1

p1

种产生方式,事件

A2有

p2种产生方式……事件

Ak有

pk

种产生的方式,则当其中任何两个事件产生的方式都不重叠时,“事件

A1

A2

或…Ak”有

p1+p2+…+pk种产生的方式。43E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则乘法法则:设事件

A

m

种产生方式,事件

B

n

种产生方式,则当

A

B

产生的方式彼此独立时,“事件

A

B

”有

m

n

种产生方式。乘法法则又称乘法原理(multiplicationprinciple)适用于分步选取问题适用条件:无论事件

A

采用何种方式产生,都不影响事件

B

。44E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则假如一个实验分两步骤进行:步骤一有m

种可能结果无论步骤一的结果是什么,步骤二都有n

种可能结果那么这个实验就共有m

n

种可能的结果45E6636B02012BD195C019CE06C16E3004C43D07E32711A616D0819A153DED48FB8FE1E803BC41BA964B4FD5F0472B73A72FC0F2BE2AA539FE6A05217957F8DD2DBF2DB6715F2B3FB877C24E64410加法法则与乘法法则例某种字符串由两个字符组成,第一个字符可选自{a,b,c,d,e},第二个字符可选自{1,2,3,4},则这

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论