版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
集合中元素的個(gè)數(shù)解:設(shè)A={田徑運(yùn)動(dòng)會(huì)參賽的學(xué)生}, B={球類運(yùn)動(dòng)會(huì)參賽的學(xué)生},那么, A∩B={兩次運(yùn)動(dòng)會(huì)都參賽的學(xué)生}, A∪B={參賽的學(xué)生}。∴ card(A∪B)=card(A)+card(B)-card(A∩B)=8+12-3=17。答:兩次運(yùn)動(dòng)會(huì)中,這個(gè)班共有17名同學(xué)參賽。用圖來求解:例2.某班學(xué)生參加數(shù)學(xué)課外小組的人數(shù)是參加物理課外小組的人數(shù)的2倍,同時(shí)參加兩個(gè)課外小組的人數(shù)是5人,至少參加一個(gè)課外活動(dòng)小組的人數(shù)為25人.試求參加數(shù)學(xué)小組、物理小組的人數(shù)各是多少?參加數(shù)學(xué)小組20人,參加物理小組10人. card(A∪B)=card(A)+card(B)-card(A∩B)即25=2x+x-5x=10 card(A∪B)=card(A)+card(B)-card(A∩B)能否推廣?試寫出三個(gè)集合類似公式.例3.某校高三學(xué)生共249人,畢業(yè)考試成績(jī)優(yōu)秀的人數(shù)及科目如下表;表中,兩科優(yōu)秀者包括里包括三科全優(yōu)者,單科優(yōu)秀者里也包括兩科以上的優(yōu)秀者。有人說上面的統(tǒng)計(jì)表有誤,你認(rèn)為呢?由統(tǒng)計(jì)表計(jì)算高三年級(jí)共有131+117+152-61-79-62+53=251(人),所以統(tǒng)計(jì)表有誤.例4.在100個(gè)學(xué)生中,有美術(shù)愛好者63人,音樂愛好者75人(并非每個(gè)學(xué)生都有愛好),對(duì)美術(shù)和音樂都愛好的學(xué)生最多有多少人?最少有多少人?最多63人,最少38人.問題的提出:無限集中元素的個(gè)數(shù)?!是不是所有的無限集都有相同的個(gè)數(shù)呢?1.無限(1)初識(shí)無限(2)在有限集中,如何比較元素個(gè)數(shù)的多少?
理解無限的關(guān)鍵——一一對(duì)應(yīng)(3)無限集中元素的個(gè)數(shù)——基數(shù)與此相關(guān)的一個(gè)定義:若在一個(gè)集合與全體正整數(shù)集合之間存在一一對(duì)應(yīng),則稱這個(gè)集合是可數(shù)的。(4)幾個(gè)令人吃驚的例子全體正整數(shù)和全體有理數(shù)一樣多嗎?全體正整數(shù)和全體整數(shù)一樣多嗎?部分=整體??。?)問題的提出是不是所有的無限集都有相同的基數(shù)呢?康托在1973年11月29日給戴德金的信中提出:11月29日-12月7日,康托給無限的理論奠定了基礎(chǔ)。他創(chuàng)造了一種適用于無限集的新數(shù)體系——超限數(shù),以解決無限集的基數(shù)比較問題。實(shí)數(shù)集(0,1)是不可數(shù)的。無理數(shù)集是不可數(shù)的(有理數(shù)集可數(shù))。是不是還存在數(shù)量上多于實(shí)數(shù)集的集合呢?實(shí)數(shù)集是不可數(shù)的?!獙?shí)數(shù)、一直線上的點(diǎn)、平面上的點(diǎn)及高維空間的任一部分的點(diǎn)的基數(shù)。若在一個(gè)集合與全體正整數(shù)集合之間存在一一對(duì)應(yīng),則稱這個(gè)集合是可數(shù)的?!皵?shù)學(xué)中的無窮無盡,其誘人之處在于它的最棘手的悖論能夠盛開出美麗的理論之花?!薄狤.KasnerandJ.Newman集合論危機(jī)重重:2.羅素悖論大多數(shù)集合不包含它自身為元素,這樣的集我們稱之為“普通的”。有許多集可能包含它自身為元素,例如集S定義如下:“凡是可以用不超過三十個(gè)字來定義的集合是S的元素?!笨梢钥吹剑琒是包含它自身為一元素的。這樣的集我們稱之為“非普通集”。我們考查“所有普通集組成的集”,稱它為C。那么C本身是普通集還是非普通集?如果C是普通集,由于C定義為包含所有普通集,它包含了它本身作為一個(gè)元素。這樣的話,C必須是非普通集。這是一個(gè)矛盾。因此C必須是非普通集,但這時(shí)C包含了一個(gè)非普通集(即C本身)為其元素,這與C只包含普通集的定義相矛盾。因此,無論那一種情形,僅僅是C的存在,就已經(jīng)使我們陷入矛盾。羅素的理發(fā)師悖論其他一些悖論(1)芝諾悖論1)二分法悖論2)阿基里斯和烏龜代數(shù)悖論:數(shù)理邏輯誕生數(shù)理邏輯這門學(xué)科在第三次數(shù)學(xué)危機(jī)運(yùn)動(dòng)的過程中誕生,在十七世紀(jì),算術(shù)因符號(hào)化促使了代數(shù)學(xué)的產(chǎn)生,代數(shù)使計(jì)算變得精確和方便,也使計(jì)算方法系統(tǒng)化。費(fèi)爾馬和笛卡兒的解析幾何把幾何學(xué)代數(shù)化,大大擴(kuò)展了幾何的領(lǐng)域,而且使得少數(shù)天才的推理變成機(jī)械化的步驟。這反映了代數(shù)學(xué)作為普遍科學(xué)方法的效力,于是笛卡兒嘗試也把邏輯代數(shù)化。與笛卡兒同時(shí)代的英國(guó)哲學(xué)家霍布斯也認(rèn)為推理帶有計(jì)算性質(zhì),不過他并沒有系統(tǒng)地發(fā)展這種思想。
現(xiàn)在公認(rèn)的數(shù)理邏輯創(chuàng)始人是萊布尼茲。他的目的是選出一種“通用代數(shù)”,其中把一切推理都化歸為計(jì)算。實(shí)際上這正是數(shù)理邏輯的總綱領(lǐng)。他希望建立一套普遍的符號(hào)語言,這樣就可以象數(shù)字一樣進(jìn)行演算,他的確將某些命題形式表達(dá)為符號(hào)形式,但他的工作只是一個(gè)開頭,大部分沒有發(fā)表,因此影響不大。
真正使邏輯代數(shù)化的是英國(guó)數(shù)學(xué)家布爾,他在1847年出版了《邏輯的數(shù)學(xué)分析》,給出了現(xiàn)代所謂的“布爾代數(shù)”的原型。布爾確信符號(hào)化會(huì)使邏輯變得嚴(yán)密。他的對(duì)象是事物的類,1表示全類,0表示空類;xy表示x和y的共同分子所組成的類,運(yùn)算是邏輯乘法;x+y表示x和y兩類所合成的類,運(yùn)算是邏輯加法。
布爾看出類的演算也可解釋為命題的演算。當(dāng)x、y不是類而是命題,則x=1表示的是命題x為真,x=0表示命題x為假,1-x表示x的否定等等。顯然布爾的演算構(gòu)成一個(gè)代數(shù)系統(tǒng),遵守著某些規(guī)律,這就是布爾代數(shù)。非數(shù)值運(yùn)算的推廣——集合運(yùn)算——語句運(yùn)算康托的最大基數(shù)悖論、布拉里.福蒂悖論、羅素悖論,動(dòng)搖了整個(gè)數(shù)學(xué)的基礎(chǔ)。給數(shù)學(xué)提供一個(gè)可靠的基礎(chǔ):1)羅素的類型論2)策梅羅的公理集合論(ZFS系統(tǒng))Z—策梅羅F—弗蘭克爾
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度個(gè)人貸款合同電子合同續(xù)簽服務(wù)3篇
- 2025年度個(gè)人貨車租賃合同綠色物流服務(wù)標(biāo)準(zhǔn)3篇
- 2025年度個(gè)人房屋室內(nèi)裝修設(shè)計(jì)與施工環(huán)保評(píng)估合同4篇
- 2025年度個(gè)人房產(chǎn)投資合作合同范本2篇
- 二零二五年度新型面包磚研發(fā)與應(yīng)用合作協(xié)議4篇
- 征收補(bǔ)償協(xié)議書(2篇)
- 2025年度個(gè)人旅游住宿無息分期支付合同2篇
- 鐵礦粉供應(yīng)與采購(gòu)合同2025版5篇
- 財(cái)務(wù)季度報(bào)告模板
- 2024年注冊(cè)城鄉(xiāng)規(guī)劃師考試題庫附參考答案(滿分必刷)
- 中央2025年國(guó)務(wù)院發(fā)展研究中心有關(guān)直屬事業(yè)單位招聘19人筆試歷年參考題庫附帶答案詳解
- 外呼合作協(xié)議
- 小學(xué)二年級(jí)100以內(nèi)進(jìn)退位加減法800道題
- 保險(xiǎn)公司2025年工作總結(jié)與2025年工作計(jì)劃
- GB/T 33629-2024風(fēng)能發(fā)電系統(tǒng)雷電防護(hù)
- 2024淘寶天貓運(yùn)動(dòng)戶外羽絨服白皮書-WN8正式版
- 記賬實(shí)操-砂石企業(yè)賬務(wù)處理分錄
- 2024屆四川省瀘州市江陽區(qū)八年級(jí)下冊(cè)數(shù)學(xué)期末學(xué)業(yè)質(zhì)量監(jiān)測(cè)試題含解析
- 全球250個(gè)國(guó)家中英文名稱及縮寫
- 深靜脈血栓(DVT)課件
- 2023年四川省廣元市中考數(shù)學(xué)試卷
評(píng)論
0/150
提交評(píng)論