內(nèi)容簡(jiǎn)介:
杭電離散數(shù)學(xué)期末總復(fù)習(xí)
復(fù)習(xí)時(shí)注意
準(zhǔn)確掌握每個(gè)概念
靈活應(yīng)用所學(xué)定理
注意解題思路清晰
證明問(wèn)題時(shí),先用反向思維(從結(jié)論入手)分析問(wèn)題,再按正向思維寫出證明過(guò)程.
復(fù)習(xí)重點(diǎn) (注: 標(biāo)有*的內(nèi)容,對(duì)網(wǎng)絡(luò)學(xué)院學(xué)生不作要求)
第一章 命題邏輯
1.聯(lián)結(jié)詞的定義(含義及真值表定義).
2.會(huì)命題符號(hào)化.
3.永真式的證明.
4.永真蘊(yùn)涵式的證明,記住并能熟練應(yīng)用常用公式.
5.等價(jià)公式的證明,記住并能熟練應(yīng)用常用公式.
6.會(huì)寫命題公式的范式, *能應(yīng)用范式解決問(wèn)題.
7.熟練掌握命題邏輯三種推理方法.
第二章 謂詞邏輯
1.準(zhǔn)確掌握有關(guān)概念.
2.會(huì)命題符號(hào)化.(如P60題(2))
3.掌握常用的等價(jià)公式和永真蘊(yùn)涵式.包括:
帶量詞的公式在論域內(nèi)展開(kāi)式,量詞否定,量詞轄域擴(kuò)充,
量詞分配公式.
4.會(huì)用等價(jià)公式求謂詞公式的真值.(如P66題(3))
*5.會(huì)寫前束范式
6.熟練掌握謂詞邏輯推理.
第三章 集合論初步
1.集合的表示,冪集,全集,空集.
2.集合的三種關(guān)系(包含,相等,真包含)的定義及證明.
3.集合的五種運(yùn)算及相關(guān)性質(zhì).
*4.應(yīng)用包含排斥原理.
第四章 二元關(guān)系
1.關(guān)系的概念,表示方法.
2.二元關(guān)系的 性質(zhì)的定義, 熟練掌握性質(zhì)的判斷及證明.
3.掌握關(guān)系的復(fù)合,求逆及閉包運(yùn)算(計(jì)算方法及有關(guān)性質(zhì))
4.掌握等價(jià)關(guān)系的判斷,證明,求等價(jià)類和商集.
*4.掌握相容關(guān)系定義,簡(jiǎn)化圖和簡(jiǎn)化矩陣,相容類,最大相容類,完全覆蓋.
5.偏序關(guān)系的判斷,會(huì)畫Hasse圖,會(huì)求一個(gè)子集的極小(大)
元,最小(大)元,上界與下界,最小上界及最大下界.
第六章 函數(shù)
1.函數(shù)的定義.
2.函數(shù)的類型, 會(huì)判斷,會(huì)證明.
3.會(huì)計(jì)算函數(shù)的復(fù)合(左復(fù)合),求逆函數(shù).知道有關(guān)性質(zhì).
*4.了解集合的特征函數(shù),了解集合的基數(shù),可數(shù)集合.
...........
相關(guān)說(shuō)明:
1. 如您下載的資料不止一份,建議您注冊(cè)成為本站會(huì)員。會(huì)員請(qǐng)登錄后下載。
2. 會(huì)員購(gòu)買金幣50元以下,0.7元/個(gè),50元以上,0.5元/個(gè)。具體請(qǐng)看:下載與付款。
3. 會(huì)員48小時(shí)內(nèi)下載同一文件,不重復(fù)扣金幣。
4. 下載后請(qǐng)用WinRAR或 WinZIP解壓縮后使用。
5. 如仍有其他下載問(wèn)題,請(qǐng)看常見(jiàn)問(wèn)題解答。
下載地址:
|