教案（課時備課）第1次課4學(xué)時課目、課題§1.1~§1.2命題邏輯的基本概念教學(xué)目的和教學(xué)要求撐握命題與聯(lián)結(jié)詞命題及其分類聯(lián)結(jié)詞與復(fù)合命題命題公式及其賦值重點(diǎn)難點(diǎn)重點(diǎn):命題與聯(lián)結(jié)詞命題公式難點(diǎn):命題符號化教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法多媒體輔助教學(xué)內(nèi)容見各章節(jié)具體教案。（下同）作業(yè)P.12-15.1~18主要參考資料朱一清離散數(shù)學(xué)電子工業(yè)出版社耿素云離散數(shù)學(xué)習(xí)題解析北京大學(xué)出版社（下同）課后自我總結(jié)分析教案（課時備課）第2次課4學(xué)時課目、課題§2.1等值式教學(xué)目的和教學(xué)要求撐握:等值式與基本的等值式等值演算與置換規(guī)則重點(diǎn)難點(diǎn)重點(diǎn):等值演算難點(diǎn):等值演算教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法多媒體輔助教學(xué)內(nèi)容見各章節(jié)具體教案。作業(yè)P.38.3~4主要參考資料課后自我總結(jié)分析教案（課時備課）第3次課4學(xué)時課目、課題§2.2析取范式與合取范式教學(xué)目的和教學(xué)要求撐握:析取范式與合取范式，主析取范式與主合取范式重點(diǎn)難點(diǎn)重點(diǎn):求公式的主析取范式與主合取范式難點(diǎn):求公式的主析取范式與主合取范式教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.38.5~15主要參考資料課后自我總結(jié)分析教案（課時備課）第4次課4學(xué)時課目、課題§3.1~§3.2命題邏輯的推理理論教學(xué)目的和教學(xué)要求撐握:推理的形式結(jié)構(gòu)推理的正確與錯誤判斷推理正確的方法推理定律自然推理系統(tǒng)P形式系統(tǒng)的定義與分類自然推理系統(tǒng)P在P中構(gòu)造證明:直接證明法、附加前提證明法、歸謬法重點(diǎn)難點(diǎn)重點(diǎn):推理的形式結(jié)構(gòu)難點(diǎn):在P中構(gòu)造證明教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.51~55.6~8.17~18主要參考資料課后自我總結(jié)分析教案（課時備課）第5次課4學(xué)時課目、課題§4.1~4.2一階邏輯基本概念教學(xué)目的和教學(xué)要求準(zhǔn)確地將給定命題符號化理解一階語言的概念深刻理解一階語言的解釋熟練地給出公式的解釋記住閉式的性質(zhì)并能應(yīng)用它深刻理解永真式、矛盾式、可滿足式的概念,會判斷簡單公式的類型

重點(diǎn)難點(diǎn)重點(diǎn):命題符號化難點(diǎn):命題符號化判斷公式的類型教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.65~67.1~14主要參考資料課后自我總結(jié)分析教案（課時備課）第6次課4學(xué)時課目、課題§5.1一階邏輯等值式§5.2前束范式教學(xué)目的和教學(xué)要求深刻理解并牢記一階邏輯中的重要等值式,并能準(zhǔn)確而熟練地應(yīng)用它們．熟練正確地使用置換規(guī)則、換名規(guī)則、代替規(guī)則．熟練地求出給定公式的前束范式．重點(diǎn)難點(diǎn)重點(diǎn):重要等值式,并能準(zhǔn)確而熟練地應(yīng)用難點(diǎn):等值演算教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.78.2,3,71~10主要參考資料課后自我總結(jié)分析教案（課時備課）第7次課4學(xué)時課目、課題§5.3一階邏輯的推論理論教學(xué)目的和教學(xué)要求深刻理解自然推理系統(tǒng)NL的定義，牢記NL中的各條推理規(guī)則，特別是注意使用"-、"+、$+、-$4條推理規(guī)則的條件．能正確地給出有效推理的證明．重點(diǎn)難點(diǎn)重點(diǎn):能正確地給出有效推理的證明．難點(diǎn):能正確地給出有效推理的證明．教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.78~82.16~25主要參考資料課后自我總結(jié)分析教案（課時備課）第8次課4學(xué)時課目、課題§6.1~6.4.集合代數(shù)教學(xué)目的和教學(xué)要求撐握:集合的基本概念屬于、包含冪集、空集文氏圖等集合的基本運(yùn)算并、交、補(bǔ)、差等集合恒等式集合運(yùn)算的算律、恒等式的證明方法重點(diǎn)難點(diǎn)重點(diǎn):集合的運(yùn)算難點(diǎn):恒等式的證明教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.96.20.30主要參考資料課后自我總結(jié)分析教案（課時備課）第9次課4學(xué)時課目、課題§7.1~§7.4二元關(guān)系教學(xué)目的和教學(xué)要求熟練掌握關(guān)系的三種表示法能夠判定關(guān)系的性質(zhì)掌握含有關(guān)系運(yùn)算的集合等式證明涉及關(guān)系運(yùn)算的集合等式證明關(guān)系的性質(zhì)重點(diǎn)難點(diǎn)重點(diǎn):關(guān)系的三種表示法關(guān)系的性質(zhì)難點(diǎn):關(guān)系運(yùn)算證明關(guān)系的性質(zhì)教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.130.22~27主要參考資料課后自我總結(jié)分析教案（課時備課）第10次課4學(xué)時課目、課題§7.5關(guān)系的閉包教學(xué)目的和教學(xué)要求撐握:自反、對稱、傳遞閉包及其計(jì)算重點(diǎn)難點(diǎn)重點(diǎn):閉包及其計(jì)算難點(diǎn):閉包及其計(jì)算教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)主要參考資料課后自我總結(jié)分析教案（課時備課）第11次課4學(xué)時課目、課題§7.6~7.7等價關(guān)系與劃分偏序關(guān)系教學(xué)目的和教學(xué)要求能夠判定關(guān)系的性質(zhì)（等價關(guān)系或偏序關(guān)系）求等價類和商集A/R給定A的劃分p，求出p所對應(yīng)的等價關(guān)系哈斯圖求偏序集中的極大元、極小元、最大元、最小元、上界、下界、上確界、下確界證明關(guān)系是等價關(guān)系或偏序關(guān)系重點(diǎn)難點(diǎn)重點(diǎn):等價關(guān)系或偏序關(guān)系難點(diǎn):等價類和商集哈斯圖特殊元教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.130~136.32~49主要參考資料課后自我總結(jié)分析教案（課時備課）第12次課4學(xué)時課目、課題§14.1圖教學(xué)目的和教學(xué)要求掌握無向圖、有向圖、關(guān)聯(lián)與相鄰、簡單圖、完全圖、正則圖、子圖、補(bǔ)圖；握手定理與推論；圖的同構(gòu)重點(diǎn)難點(diǎn)重點(diǎn):圖握手定理難點(diǎn):圖的同構(gòu)教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)主要參考資料課后自我總結(jié)分析教案（課時備課）第13次課4學(xué)時課目、課題§14.2~14.5通路圖的矩陣表示圖的運(yùn)算教學(xué)目的和教學(xué)要求記住通路與回路的定義、分類及表示法深刻理解與無向圖連通性、連通度有關(guān)的諸多概念會判別有向圖連通性的類型熟練掌握用鄰接矩陣及其冪求有向圖中通路與回路數(shù)的方法，會求可達(dá)矩陣重點(diǎn)難點(diǎn)重點(diǎn):無向圖連通性無向圖連通性難點(diǎn):用鄰接矩陣及其冪求有向圖中通路與回路數(shù)的方法，會求可達(dá)矩陣教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.291.5~43.主要參考資料課后自我總結(jié)分析教案（課時備課）第14次課4學(xué)時課目、課題§15.1歐拉圖教學(xué)目的和教學(xué)要求深刻理解歐拉圖、半歐拉圖的定義及判別定理重點(diǎn)難點(diǎn)重點(diǎn):歐拉圖、半歐拉圖的判別難點(diǎn):歐拉圖、半歐拉圖的判別教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)主要參考資料課后自我總結(jié)分析教案（課時備課）第15次課4學(xué)時課目、課題§15.2哈密頓圖教學(xué)目的和教學(xué)要求深刻理解哈密頓圖、半哈密頓圖的定義.會用哈密頓圖的必要條件判斷某些圖不是哈密頓圖.會用充分條件判斷某些圖是哈密頓圖.要特別注意的是，不能將必要條件當(dāng)作充分條件，也不要將充分條件當(dāng)必要條件.重點(diǎn)難點(diǎn)重點(diǎn):哈密頓圖的判斷定難點(diǎn):哈密頓圖的判斷定教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)主要參考資料課后自我總結(jié)分析教案（課時備課）第16次課4學(xué)時課目、課題§15.3最短路問題與貨郎擔(dān)問題教學(xué)目的和教學(xué)要求掌握最短路問題與貨郎擔(dān)問題概念及解法重點(diǎn)難點(diǎn)重點(diǎn):最短路問題與貨郎擔(dān)問題概念及解法難點(diǎn):最短路問題與貨郎擔(dān)問題解法教學(xué)進(jìn)程（含課堂教學(xué)內(nèi)容、教學(xué)方法、輔助手段、師生互動、時間分配、板書設(shè)計(jì)）啟發(fā)式講解法作業(yè)P.305~307.1~22主要參考資料課后自我總結(jié)分析教案（課時備課）第17次課4學(xué)時課目、課題§16.1~16.3樹教學(xué)目的和教學(xué)要求深刻理解無向樹的定義及性質(zhì)熟練地求解無向樹準(zhǔn)