![離散數(shù)學(xué)第13講_第1頁(yè)](http://file4.renrendoc.com/view/9352369eff147761120927af17864459/9352369eff147761120927af178644591.gif)
![離散數(shù)學(xué)第13講_第2頁(yè)](http://file4.renrendoc.com/view/9352369eff147761120927af17864459/9352369eff147761120927af178644592.gif)
![離散數(shù)學(xué)第13講_第3頁(yè)](http://file4.renrendoc.com/view/9352369eff147761120927af17864459/9352369eff147761120927af178644593.gif)
![離散數(shù)學(xué)第13講_第4頁(yè)](http://file4.renrendoc.com/view/9352369eff147761120927af17864459/9352369eff147761120927af178644594.gif)
![離散數(shù)學(xué)第13講_第5頁(yè)](http://file4.renrendoc.com/view/9352369eff147761120927af17864459/9352369eff147761120927af178644595.gif)
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
第二部分集合論
對(duì)于從事計(jì)算機(jī)科學(xué)工作的人們來(lái)說(shuō),集合論是必不可少的基礎(chǔ)知識(shí)。例如有限狀態(tài)機(jī)、形式語(yǔ)言等都離不開子集、冪集、集合的分類等概念。集合成員表和范式在邏輯設(shè)計(jì)、定理證明中也都有重要應(yīng)用。本部分從集合的直觀概念出發(fā),介紹了集合論中的一些基本概念和基本理論,其中包括集合、關(guān)系、函數(shù)等。離散數(shù)學(xué)第13講本講基本知識(shí)點(diǎn):1、集合的基本概念2、集合的運(yùn)算3、集合基本恒等式2第六章集合代數(shù)6.1集合的基本概念直觀定義:一些事物匯集到一起組成的一個(gè)整體稱為集合,而這些事物就是這個(gè)集合的元素或成員。集合通常用大寫字母來(lái)標(biāo)記,如N、Z、Q、R、C。集合表示方法:列元素法A={1,2,3,4,5}謂詞表示法B={x|x∈N∧1≤x≤5}3第六章集合代數(shù)集合的特征互異性{1,2,3,2,4}={1,2,3,4}無(wú)序性{4,2,1,3}={1,2,3,4}元素和集合之間的關(guān)系屬于(∈)或不屬于(
)
如:對(duì)于A={1,{2,3},{{4}}},1∈A,{2,3}∈A,3
A.可以用樹形圖表示這種關(guān)系??紤]:4,{4},{{4}}呢?4第六章集合代數(shù)如:A1{2,3}{{4}}
23{4}4本書規(guī)定:對(duì)于任何集合A,都有A
A。5第六章集合代數(shù)定義6.1設(shè)A,B為集合,如果B中的每個(gè)元素都是A中的元素,則稱B是A的子集合,簡(jiǎn)稱子集。也稱B被A包含,或B包含于A,或A包含B,記作B
A。如果B不被A包含,則記作B
A。包含的符號(hào)化表示為:B
A
x(x∈Bx∈A)例如:N
Z
Q
R
C,而CR.顯然:對(duì)于任何集合A,都有A
A。6第六章集合代數(shù)定義6.2設(shè)A,B為集合,如果A
B且B
A,則稱A與B相等,記作A=B。如果A與B不相等,則記作A≠B。相等的符號(hào)化表示為:A=B
A
B
∧B
A7第六章集合代數(shù)定義6.3設(shè)A,B為集合,如果B
A且B≠A,則稱B是A的真子集,也稱B被A真包含,或B真包含于A,或A真包含B,記作B
A。如果B不被A真包含,則記作A
B。真子集的符號(hào)化表示為:B
A
A≠B∧B
A例如:N
Z
Q
R
C,而CC.顯然:對(duì)于任何集合A,都有A
A。8第六章集合代數(shù)定義6.4不含任何元素的集合叫做空集,記作φ??占姆?hào)化表示為:φ
{x|x≠x}如:C={x|x∈Z+∧x<0}.定理6.1空集是一切集合的子集。證明:對(duì)于任何集合A,有子集定義有φ
A
x(x∈φx∈A)右邊的蘊(yùn)涵式為真,所以φ
A也為真。推論:空集是唯一的。證明:如不唯一,設(shè)存在空集φ1和φ2,由定理6.1得
φ1
φ2和φ2
φ1根據(jù)集合相等的定義得,φ1=φ2。9第六章集合代數(shù)含有n個(gè)元素的集合簡(jiǎn)稱為n元集,它的含有m(m≤n)個(gè)元素的子集叫做它的m元子集。任給一個(gè)n元集,它的0元子集的個(gè)數(shù)為:Cn0,即φ;它的1元子集的個(gè)數(shù)為:Cn1,即單元集;它的2元子集的個(gè)數(shù)為:Cn2;……它的n元子集的個(gè)數(shù)為:Cnn.顯然:任一n元集A的子集總數(shù)為:
Cn0+Cn1+Cn2…+Cnn=2n請(qǐng)通過(guò)列出集合S={a,b,c}的所有子集來(lái)驗(yàn)證此結(jié)論。10第六章集合代數(shù)定義6.5設(shè)A為集合,把A的全部子集構(gòu)成的集合叫做A的冪集,記作P(A)或2A。冪集的符號(hào)化表示為P(A)={x|x
A}例如:若B={1,2,c,d},則P(B)=???定義6.6在一個(gè)具體問(wèn)題中,若所涉及的集合都是某個(gè)集合的子集,則稱這個(gè)集合為全集,記作E。11第六章集合代數(shù)6.2集合的運(yùn)算定義6.7設(shè)A,B集合,A與B的并集A∪B,交集A∩B,B對(duì)A的相對(duì)補(bǔ)集A-B,分別定義如下:A∪B={x|x∈A∨
x∈B}A∩B={x|x∈A∧
x∈B}A-B={x|x∈A∧
x
B}如:A={1,2,3},B={3,4,5},C={6,7}則A∪B、A∩B、A-B、C∩B、C-B、C-C分別為????jī)蓚€(gè)集合的并交運(yùn)算可推廣至n個(gè)集合:A1∪A2∪…∪An={x|x∈A1∨x∈A2∨…∨
x∈An
}A1∩A2∩
…∩An={x|x∈A1∧x∈A2∧
…∧
x∈An
}文氏圖是用來(lái)描述集合關(guān)系與運(yùn)算的很好的工具,請(qǐng)參見課本P96。12第六章集合代數(shù)定義6.8設(shè)A,B集合,A與B的對(duì)稱差集A○B(yǎng),分別定義如下:A○B(yǎng)=(A–B)∪(B-A)或A○B(yǎng)=(A∪B)-(A∩B)+++定義6.9設(shè)A集合,E為全集,A的絕對(duì)補(bǔ)集定義為:~A=E–A={x|x∈E∨
x
A}13第六章集合代數(shù)利用文氏圖可以解決一些有限集的計(jì)數(shù)問(wèn)題參見例6.2、6.3練習(xí):某班有25個(gè)學(xué)生,其中14人會(huì)打籃球,12人會(huì)打排球,6人會(huì)打籃球和排球,5人會(huì)打籃球和網(wǎng)球,還有2人會(huì)打這三種球。已知會(huì)打網(wǎng)球的6個(gè)人都會(huì)打籃球或排球。求不會(huì)打球的人數(shù)。14假設(shè)只會(huì)打籃球和排球的人數(shù)為x,只會(huì)打籃球和網(wǎng)球的人數(shù)為y,只會(huì)打網(wǎng)球和排球的人數(shù)為z:x+2=6x=4z+2=5z=3y+2+z=6y=1不會(huì)打球的人數(shù)為:25-14-12+x+2=5
排球12網(wǎng)球6籃球14人2xyzx15練習(xí)2:對(duì)60個(gè)人的調(diào)查表明有25人閱讀《每周新聞》雜志,26人閱讀《時(shí)代》雜志,26人閱讀《財(cái)富》雜志,9人閱讀《每周新聞》和《財(cái)富》,11人閱讀《每周新聞》和《時(shí)代》,8人閱讀《時(shí)代》和《財(cái)富》,還有8人什么雜志也不讀。(1)求閱讀全部三種雜志的人數(shù)(2)分別求只閱讀《每周新聞》、《時(shí)代》和《財(cái)富》雜志的人數(shù)。16解:(1)(5+x)+(7+x)+(9+x)+(9-x)+(11-x)+(8-x)+x+8=60解得x=3(2)分別是8,10,12人x8-x8人9-x
11-x25-(11-x)-(9-x)-x=5+x時(shí)代26財(cái)富26每周新聞25人26-(11-x)-(8-x)-x=7+x26-(9-x)-(8-x)-x=9+x17第六章集合代數(shù)6.3集合恒等式P99-100列出的23條恒等式是這部分進(jìn)行運(yùn)算、證明的重要依據(jù),望注意掌握。集合代數(shù)中恒等式證明的兩種思路:(1)設(shè)A1、A2為集合公式,欲證A1=A2,只須證A1
A2∧A2
A1為真。也即證
x∈A1=>x∈A2和
x∈A2=>x∈A1
(2)利用已知的恒等式代入。
總體上還是采用命題邏輯中的等值式,在敘述上采用半形式化的方法,其中
表示當(dāng)且僅當(dāng),意即“等價(jià)”。18第六章集合代數(shù)例6.6證明A-(B∪C)=(A-B)∩(A-C).證明:對(duì)于
xx∈A-(B∪C)
x∈A∧x
(B∪C)
x∈A∧
(x∈B∨x∈C)
x∈A∧(
x∈B∧
x∈C)
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 污水檢測(cè)合作協(xié)議書
- 2025年度文化創(chuàng)意產(chǎn)業(yè)品牌形象設(shè)計(jì)策劃合作協(xié)議
- 二零二五年度配音演員藝術(shù)創(chuàng)作聘用合同范本
- 2025至2030年中國(guó)鋼絲繩壓套機(jī)數(shù)據(jù)監(jiān)測(cè)研究報(bào)告
- 2025年中國(guó)高筋小麥粉市場(chǎng)調(diào)查研究報(bào)告
- 二零二五年度教育信息化平臺(tái)建設(shè)合同范本2篇
- 2025年度農(nóng)民工勞務(wù)協(xié)議書范本(含工期延誤賠償)
- 2025至2030年電氣控制元件項(xiàng)目投資價(jià)值分析報(bào)告
- 2025-2030全球伺服電機(jī)轉(zhuǎn)子鐵芯行業(yè)調(diào)研及趨勢(shì)分析報(bào)告
- 二零二五年度臨時(shí)建筑勞務(wù)合作合同2篇
- 貴州省貴陽(yáng)市2023-2024學(xué)年高一上學(xué)期期末考試 物理 含解析
- 信永中和在線測(cè)評(píng)85題
- 2024至2030年中國(guó)中水回用行業(yè)發(fā)展監(jiān)測(cè)及投資戰(zhàn)略規(guī)劃報(bào)告
- 《軟件培訓(xùn)講義》課件
- NB/T 11430-2023煤礦TBM掘進(jìn)施工工藝要求
- 行政單位閑置資產(chǎn)清查盤活工作總結(jié)
- 設(shè)計(jì)單位-質(zhì)量管理體系
- 2024版《供電營(yíng)業(yè)規(guī)則》學(xué)習(xí)考試題庫(kù)500題(含答案)
- 福建省醫(yī)院大全
- GB/T 16659-2024煤中汞的測(cè)定方法
- 閃蒸罐計(jì)算完整版本
評(píng)論
0/150
提交評(píng)論