




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、2021年11月26日星期五1 離散數(shù)學(xué)吉大吉大 11春學(xué)期考前串講春學(xué)期考前串講2第一章第一章 集合論基礎(chǔ)集合論基礎(chǔ)1.掌握集合、子集、差集、空集、冪集、集合族的概念。懂得兩個(gè)集合間相等和包含關(guān)系的定義和性質(zhì),能夠利用定義證明兩個(gè)集合相等。熟悉常用的集合表示方法。2.掌握集合的基本運(yùn)算:并、交、余、差、直乘積、對(duì)稱差的定義以及集合運(yùn)算滿足的基本算律,能夠利用它們來(lái)證明更復(fù)雜的集合等式。3.掌握關(guān)系、二元關(guān)系、空關(guān)系、全域關(guān)系、相等關(guān)系、逆關(guān)系的概念以及關(guān)系的性質(zhì):自反性、對(duì)稱性、反對(duì)稱性、傳遞性。會(huì)做關(guān)系的乘積。了解關(guān)系的閉包運(yùn)算:自反閉包、對(duì)稱閉包、傳遞閉包。4.掌握等價(jià)關(guān)系、等價(jià)類、商集
2、的概念,了解等價(jià)關(guān)系和劃分的內(nèi)在聯(lián)系。5.掌握部分序關(guān)系、部分序集、全序關(guān)系、全序集的概念以及部分序集中的特殊元素:最大元、最小元、極大元、極小元、上確界、下確界的定義。能畫出有限部分序集的Hasse圖,并根據(jù)圖討論部分序集的某些性質(zhì)。6.掌握映射、映像、1-1映射等概念,會(huì)做映射的乘積。了解可數(shù)集合的概念,掌握可數(shù)集合的判定方法。400-810-6736 3400-810-6736 4第二章第二章 命題邏輯命題邏輯1.掌握命題、邏輯聯(lián)結(jié)詞等概念,能夠?qū)⒚}符號(hào)化。2.掌握命題公式、解釋、恒真公式、恒假公式等概念。能夠判斷一命題公式是恒真、恒假,還是可滿足。3.掌握公式的等價(jià)、蘊(yùn)涵等概念,熟記
3、基本的等價(jià)式、蘊(yùn)涵式,會(huì)證明更復(fù)雜的等價(jià)式、蘊(yùn)涵式。4.掌握聯(lián)結(jié)詞的功能完備集的概念,能夠判別一個(gè)聯(lián)結(jié)詞集合是否為聯(lián)結(jié)詞的功能完備集。5.掌握演繹方法,能夠使用演繹方法進(jìn)行有效推理。6.掌握析取范式、合取范式、極大項(xiàng)、極小項(xiàng)、主析取范式、主合取范式的概念和性質(zhì)。掌握求各種范式的方法,能夠用等價(jià)演算法和真值表法求命題公式的主析取范式、主合取范式。400-810-6736 5400-810-6736 6第三章第三章 謂詞邏輯謂詞邏輯1.掌握謂詞、全稱量詞、存在量詞等概念,學(xué)會(huì)使用它們符號(hào)化一些命題并構(gòu)成一些較復(fù)雜的命題。2.掌握約束變量、自由變量的概念,能夠正確使用改名規(guī)則。3.掌握謂詞公式、解釋
4、的概念,能夠求出一給定公式在某一解釋下的真值。4.掌握恒真公式、恒假公式、可滿足公式等概念,了解與命題邏輯判定問(wèn)題可解,不同的是:謂詞邏輯判定問(wèn)題不可解,但謂詞邏輯是半可判定的。 5.掌握謂詞公式的等價(jià)、蘊(yùn)涵等概念,熟記基本的等價(jià)式、蘊(yùn)涵式,會(huì)證明更復(fù)雜的等價(jià)式、蘊(yùn)涵式。6.掌握前束范式、Skolem范式等概念,能夠?qū)⒁恢^詞公式化成與之等價(jià)的前束范式,并進(jìn)一步化為Slolem范式。400-810-6736 7400-810-6736 8第四章第四章 圖與網(wǎng)絡(luò)圖與網(wǎng)絡(luò)1.掌握?qǐng)D、有限圖、母圖、子圖、支撐子圖、完全圖、補(bǔ)圖等概念,了解有限圖中點(diǎn)的度的性質(zhì),掌握?qǐng)D的矩陣表示:關(guān)聯(lián)矩陣、鄰接矩陣。2.
5、掌握路、簡(jiǎn)單路、回路、連通圖等概念。3.理解Dijkstra算法,并能夠在已知權(quán)圖中使用該算法求出任意兩點(diǎn)間的最短路。4.掌握樹(shù)、支撐樹(shù)的概念以及圖是樹(shù)的幾個(gè)等價(jià)命題。5.理解Kruskal算法,并能夠應(yīng)用它求已知加權(quán)連通圖的最優(yōu)樹(shù)。了解求最優(yōu)樹(shù)的Prim算法,會(huì)總結(jié)Sollin算法。6.掌握有向圖、有向子圖、有向路、簡(jiǎn)單有向路、有向回路等概念。7.掌握有向圖的強(qiáng)連通性和有向圖的根的概念,了解二者的關(guān)系。8.掌握Euler路、Euler圖的概念,掌握有向圖中和無(wú)向圖中Euler圖的充要條件,并能利用判斷某圖是否為Euler圖。了解從Euler路得出有向支撐樹(shù)以及從有向支撐樹(shù)得出Euler路的方
6、法。10. 掌握Hamilton路、Hamilton回路、Hamilton圖的概念以及Hamilton圖的必要條件和若干充分條件。400-810-6736 9400-810-6736 10第六章第六章 群與環(huán)群與環(huán)1.掌握二元代數(shù)運(yùn)算、代數(shù)系統(tǒng)的定義,能夠判斷一運(yùn)算是否為二元代數(shù)運(yùn)算,運(yùn)算是否滿足交換律、結(jié)合律、分配律、冪等律、吸收律、消去律。2.掌握半群、群的定義以及群的性質(zhì),能夠判斷一代數(shù)系統(tǒng)是否為半群或群。3.掌握交換群的定義以及交換群中的三個(gè)指數(shù)律。4.掌握置換、輪換、不相雜輪換、對(duì)換等概念,會(huì)做置換的乘法,會(huì)將任意置換寫成不相雜輪換的乘積。了解置換的順向圈表示。5.掌握奇置換、偶置換
7、的概念,了解置換的定性數(shù)與置換的圖型及奇偶性的關(guān)系。6.掌握n次對(duì)稱群、n次交代群的概念,會(huì)寫出其中的元素。7.掌握子群的定義以及子群的判別條件。掌握周期、循環(huán)群的定義和乘法群、加法群中周期的性質(zhì)以及循環(huán)群中一元素作為生成元的充要條件。8.掌握群中合同、右陪集的定義。了解子群在大群中的右陪集的一些性質(zhì)。掌握正規(guī)子群的概念以及一子群為大群的正規(guī)子群的充要條件。掌握并會(huì)正確應(yīng)用Lagrange定理。400-810-6736 11第六章第六章 群與環(huán)群與環(huán)9.掌握同態(tài)映射、同構(gòu)映射、自同構(gòu)映射的概念以及同態(tài)定理。會(huì)判斷一個(gè)群與一乘法系統(tǒng)間的映射是否為同態(tài)映射、同構(gòu)映射或自同構(gòu)映射。10. 掌握同態(tài)核
8、的概念,了解若是群G到G上的同態(tài)映射,則其核N為一正規(guī)子群。反過(guò)來(lái),設(shè)N是G的一個(gè)正規(guī)子群,則有一個(gè)群G以及一個(gè)G到G上的同態(tài)映射,使N為的核。掌握并會(huì)正確應(yīng)用聯(lián)系同態(tài)與同構(gòu)的基本定理。了解為群G到G上的同態(tài)映射時(shí),G中子群與G中子群的關(guān)系。11. 掌握環(huán)、交換環(huán)、含壹環(huán)、消去環(huán)的定義及其性質(zhì),會(huì)判斷。12.掌握整區(qū)、體、域、子環(huán)、子體、子域等概念,以及環(huán)的子集作成子環(huán)的充要條件。13. 掌握并會(huì)應(yīng)用理想、主理想的定義,掌握環(huán)中合同關(guān)系、剩余類的定義以及環(huán)中合同關(guān)系的性質(zhì)。14. 掌握環(huán)同態(tài)映射、同構(gòu)映射、剩余環(huán)的定義,了解與群論中平行的環(huán)中的關(guān)于同態(tài)映射、同構(gòu)映射的一些定理。15. 掌握單純
9、環(huán)與極大理想的定義,以及二者的關(guān)系,了解一個(gè)環(huán)是域的充要條件。 400-810-6736 12400-810-6736 13第八章第八章 格與布爾代數(shù)格與布爾代數(shù)1.掌握半序格、半序子格、代數(shù)格、代數(shù)子格的定義,了解半序格和代數(shù)格的定義是等價(jià)的。2.掌握互相對(duì)偶的兩個(gè)關(guān)系、互相對(duì)偶的兩個(gè)格的定義,了解二者關(guān)系。掌握格中表達(dá)式、對(duì)偶格中的對(duì)偶表達(dá)式、本格中的對(duì)偶表達(dá)式的定義,掌握并會(huì)應(yīng)用對(duì)偶原理1及對(duì)偶原理2。3.了解格的其它性質(zhì),如格的保序性、分配不等式、模不等式等。4.掌握并會(huì)應(yīng)用格同態(tài)映射、格的自同態(tài)映射、格同構(gòu)映射的定義。了解格的同態(tài)映射一定是保序映射,同構(gòu)映射的逆映射也是同構(gòu)映射等結(jié)論。5. 掌握有界格、有余格、分配格以及模格的定義以及相關(guān)的結(jié)論。了解一個(gè)格為模格的充要條件。6.掌握布爾代數(shù)的定義及其16個(gè)性質(zhì),掌握并會(huì)應(yīng)用Huntington公理來(lái)判定一代數(shù)系統(tǒng)是否為布爾代數(shù)。了解電路代數(shù)、集合代數(shù)、命題代數(shù)、開(kāi)關(guān)代數(shù)。掌握并會(huì)應(yīng)用布爾代數(shù)的子集是其子代數(shù)的充要條件。400-810-6736 14第八章第八章 格與布爾代數(shù)格與布爾代數(shù)7.掌握可唯一表示布爾代數(shù)中元素的基底的定義及其性質(zhì)。掌握極小元的定義及其性質(zhì)。掌握布爾代數(shù)的生成、極小項(xiàng)、多項(xiàng)式、多項(xiàng)范式、布爾代數(shù)中一組元素互相獨(dú)立等概念,了解
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基礎(chǔ)檢驗(yàn)技術(shù)題庫(kù)與參考答案
- 2024國(guó)家電投集團(tuán)國(guó)核電力院招聘10人筆試參考題庫(kù)附帶答案詳解
- 2024臺(tái)州市椒江區(qū)屬國(guó)有企業(yè)招聘101人筆試參考題庫(kù)附帶答案詳解
- 2025年粉體食品物料殺菌設(shè)備合作協(xié)議書
- 機(jī)器學(xué)習(xí)原理與應(yīng)用電子教案 5.10.3深度學(xué)習(xí)實(shí)踐-自動(dòng)編碼解碼器
- 綜合實(shí)踐項(xiàng)目 制作水族箱飼養(yǎng)淡水魚 教學(xué)設(shè)計(jì)-2024-2025學(xué)年魯科版生物六年級(jí)上冊(cè)
- 第16課 獨(dú)立自主的和平外交(教學(xué)設(shè)計(jì))2023-2024學(xué)年八年級(jí)歷史下冊(cè)同步教學(xué)(河北專版)
- 2025年河北東方學(xué)院?jiǎn)握新殬I(yè)技能測(cè)試題庫(kù)帶答案
- 2025年廣東機(jī)電職業(yè)技術(shù)學(xué)院?jiǎn)握新殬I(yè)傾向性測(cè)試題庫(kù)學(xué)生專用
- 2025至2030年中國(guó)楔式動(dòng)力卡盤數(shù)據(jù)監(jiān)測(cè)研究報(bào)告
- 中式面點(diǎn)師初級(jí)(五級(jí))教學(xué)計(jì)劃、大綱
- 人教版一年級(jí)下冊(cè)數(shù)學(xué)十幾減9算理的練習(xí)
- QC成果構(gòu)造柱澆筑新技術(shù)的研發(fā)創(chuàng)新(附圖)
- 2020 ACLS-PC-SA課前自我測(cè)試試題及答案
- BIM技術(shù)應(yīng)用管理辦法
- 信息論與編碼第4章信息率失真函數(shù)
- extreme-sports 極限運(yùn)動(dòng) 英文 ppt
- 國(guó)際注冊(cè)建造師與項(xiàng)目管理師雙資格認(rèn)證
- 面癱護(hù)理查房
- 空間幾何向量法之點(diǎn)到平面的距離
- 反激式變壓器計(jì)算表格
評(píng)論
0/150
提交評(píng)論