版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、教學(xué)日歷注:一次課2學(xué)時,亦即2講時間:第一周第一次授課方式:課堂講授教學(xué)進程:第1章 集合論授課內(nèi)容:集合的基本概念(集合的概念及表示、集合與元素的關(guān)系、集合與集合的關(guān)系、幾個特殊的集合)、集合的運算、無限集課外作業(yè):第20-21頁7. (1),(3),(5),(7)9.13. (2),(4),(6),(8),(10),(12),(14),(16)23. (1),(3),(5)24. (1),(3)25.29. (1),(3)時間:第一周第二次授課方式:課堂講授教學(xué)進程:第2章 計數(shù)問題授課內(nèi)容:乘法原理、加法原理、排列、環(huán)排列、組合、容斥原理、鴿籠原理課外作業(yè):第44頁14.19.20.2
2、1.時間:第二周第一次授課方式:課堂講授教學(xué)進程:第3章 命題邏輯命題與命題聯(lián)結(jié)詞授課內(nèi)容:命題,真值,命題聯(lián)結(jié)詞(否定,合取,析取,蘊涵,等價),自然語言的翻譯課外作業(yè):第89頁3. (2),(3),(4),(7),(9)4. (3),(4),(5)5. (1),(3),(4)時間:第二周第二次授課方式:課堂講授教學(xué)進程:第3章 命題邏輯命題公式、解釋與基本等價公式授課內(nèi)容:命題公式,公式的解釋,真值表,永真公式,永假公式,可滿足公式,基本等價公式,代入定理,替換定理課外作業(yè):第89-90頁7. (1),(3),(5),(7),(9)8. (1),(3)9. (1),(4)時間:第三周第一次
3、授課方式:課堂講授教學(xué)進程:第3章 命題邏輯聯(lián)結(jié)詞的完備集與范式授課內(nèi)容:異或,蘊涵否定,與非,或非,聯(lián)結(jié)詞的完備集,文字,子句,短語,析取范式,合取范式課外作業(yè):第91頁10. (3),(4),(7)時間:第三周第二次授課方式:課堂講授教學(xué)進程:第3章 命題邏輯主范式授課內(nèi)容:極小項,極大項,主析取范式,主合取范式課外作業(yè):第91頁11. (1),(4),(5),(7)時間:第四周第一次授課方式:課堂講授教學(xué)進程:第4章 謂詞邏輯謂詞與量詞授課內(nèi)容:個體詞,個體域,謂詞,量詞,量詞的轄域,特性謂詞,謂詞邏輯符號化規(guī)則課外作業(yè):第115-116頁1. (1),(3),(5),(7),(9),(
4、11)2. (2),(4),(5)3. (7),(8)時間:第四周第二次授課方式:課堂講授教學(xué)進程:第4章 謂詞邏輯謂詞合式公式及其解釋授課內(nèi)容:項,原子謂詞公式,合式公式,約束變元,自由變元,改名規(guī)則,代入規(guī)則,閉式,謂詞合式公式的解釋,有效公式,矛盾公式,謂詞合式公式的基本等價關(guān)系課外作業(yè):第116-117頁4. (4),(6)5. (1),(3),(5)6. (2),(3)7. (1),(3),(5)10. (7),(8),(9),(10)時間:第五周第一次授課方式:課堂講授教學(xué)進程:第5章 推理與證明技術(shù)命題邏輯的推理授課內(nèi)容:邏輯結(jié)果,推理定律,演繹,命題邏輯推理,推理規(guī)則(規(guī)則P,
5、規(guī)則T,規(guī)則CP),間接證明方法(反證法)課外作業(yè):第146-147頁1. (2),(4),(6)2. (2),(4),(6)3. (1),(3),(5)時間:第五周第二次授課方式:課堂講授教學(xué)進程:第5章 推理與證明技術(shù)謂詞邏輯的推理授課內(nèi)容:謂詞邏輯推理,全稱特指規(guī)則US,存在特指規(guī)則ES,全稱推廣規(guī)則UG,存在推廣規(guī)則EG課外作業(yè):第147-148頁5. (3),(4)6. (6),(7)7. (7),(8),(9)時間:第六周第一次授課方式:課堂講授教學(xué)進程:第6章 二元關(guān)系二元關(guān)系的基本概念授課內(nèi)容:序偶,二元關(guān)系,關(guān)系的表示,關(guān)系圖,關(guān)系矩陣,布爾矩陣及其運算課外作業(yè):第190-1
6、91頁4.10.時間:第六周第二次授課方式:課堂講授教學(xué)進程:第6章 二元關(guān)系關(guān)系的運算授課內(nèi)容:關(guān)系的復(fù)合運算,關(guān)系的逆運算課外作業(yè):第191頁11.12. (3),(4),(5)時間:第七周第一次授課方式:課堂講授教學(xué)進程:第6章 二元關(guān)系關(guān)系的性質(zhì)授課內(nèi)容:自反性,反自反性,對稱性,反對稱性,傳遞性,關(guān)系性質(zhì)的保守性課外作業(yè):第191-193頁15.18. (3),(4),(5)20.21.時間:第七周第二次授課方式:課堂講授教學(xué)進程:第7章 特殊關(guān)系等價關(guān)系授課內(nèi)容:等價關(guān)系,集合劃分,等價類,商集課外作業(yè):第217-218-頁1.2.6.8.9.11.13. (1),(3),(5)時
7、間:第八周第一次授課方式:課堂講授教學(xué)進程:第7章 特殊關(guān)系次序關(guān)系授課內(nèi)容:擬序,偏序,哈斯圖,最大元,最小元,極大元,極小元,上界,下界,最小上界,上確界,最大下界,下確界,全序,線序,良序課外作業(yè):第218-219頁15.16.18.22.24. (2),(5)時間:第八周第二次授課方式:課堂講授教學(xué)進程:第8章 函數(shù)授課內(nèi)容:函數(shù)的基本概念,單射,滿射,雙射,復(fù)合函數(shù),逆函數(shù)課外作業(yè):第26-237頁6.8.10.13.時間:第九周第一次授課方式:課堂講授教學(xué)進程:第9章 圖圖的基本概念授課內(nèi)容:圖,結(jié)點,邊,圖的圖表示,鄰接矩陣,圖的操作,鄰接點,鄰接邊,環(huán),自回路,孤立結(jié)點,零圖,
8、平凡圖,(n,m)圖,無向圖,有向圖,混合圖,平行邊,重數(shù),多重圖,線圖,簡單圖,賦權(quán)圖,子圖,真子圖,生成子圖,導(dǎo)出子圖,完全圖,無向完全圖,有向完全圖,補圖課外作業(yè):無時間:第九周第二次授課方式:課堂講授教學(xué)進程:第9章 圖握手定理與通路回路授課內(nèi)容:度數(shù),出度,入度,握手定理,奇度數(shù)結(jié)點,偶度數(shù)結(jié)點,同構(gòu),通路,回路,簡單通路,簡單回路,基本通路,基本回路,可達,短程線,距離,可達性矩陣課外作業(yè):第274-276頁3.5.8.9.27.時間:第十周第一次授課方式:課堂講授教學(xué)進程:第9章 圖圖的連通性授課內(nèi)容:連通圖,連通分支,強連通圖,單向連通圖,弱連通圖,強分圖,單向分圖,弱分圖課外
9、作業(yè):第274-275頁14.19.21.23.時間:第十周第二次授課方式:課堂講授教學(xué)進程:第10章 樹授課內(nèi)容:無向樹,樹,葉,分支點,內(nèi)部結(jié)點,森林,平凡樹,生成樹,樹枝,弦,補,破圈法,避圈法,廣度優(yōu)先搜索算法,最小生成樹,權(quán),Kruskal算法,Prim算法,有向樹,根樹,外向樹,根,內(nèi)點,層數(shù),高,祖先,后代,父親,兒子,兄弟,有序樹,k元樹,k元完全樹,k元有序樹,k元有序完全樹,子樹,左子樹,右子樹,遍歷課外作業(yè):第298-299頁1.3.7.10.11.14.時間:第十一周第一次授課方式:課堂講授教學(xué)進程:第11章 特殊圖歐拉圖與哈密頓圖授課內(nèi)容:歐拉通路,歐拉回路,歐拉圖,
10、歐拉圖的判定,F(xiàn)leury算法,哈密頓通路,哈密頓回路,哈密頓圖,哈密頓圖的判定課外作業(yè):第333-334頁1.4.7.9. (a),(e)13.時間:第十一周第二次授課方式:課堂講授教學(xué)進程:第11章 特殊圖偶圖與平面圖授課內(nèi)容:偶圖,互補結(jié)點子集,完全偶圖,匹配,霍爾定理,相異性條件,t條件,平面圖,觀察法,面,邊界,面的次數(shù),歐拉公式,庫拉托夫斯基定理,庫拉托夫斯基圖課外作業(yè):第334-335頁16.19.21. (b),(d)22. (a)26. (b)29.時間:第十二周第一次授課方式:課堂講授教學(xué)進程:第12章 代數(shù)系統(tǒng)代數(shù)系統(tǒng)及其基本運算和性質(zhì)授課內(nèi)容:二元運算,封閉,代數(shù)系統(tǒng),
11、子代數(shù),結(jié)合律,交換律,左可消去元,右可消去元,可消去元,消去律,冪等元,冪等律,左分配律,右分配律,分配律,吸收律,幺元,左幺元,右幺元,零元,左零元,右零元,逆元,左逆元,右逆元課外作業(yè):第366-367頁1. (2),(3)3.5.7.9.時間:第十二周第二次授課方式:課堂講授教學(xué)進程:第12章 代數(shù)系統(tǒng)同態(tài)與同構(gòu);第13章 群半群與含幺半群授課內(nèi)容:同態(tài),自同態(tài),單一同態(tài),滿同態(tài),同構(gòu),半群,可交換半群,含幺半群,可交換含幺半群,子半群,子含幺半群,半群同態(tài),循環(huán)半群,生成集,循環(huán)含幺半群課外作業(yè):第368頁15.20.第368頁3.6.7.9.12.13.時間:第十三周第一次授課方式
12、:課堂講授教學(xué)進程:第13章 群群及其性質(zhì)授課內(nèi)容:群,Abel群,群的階,元素的周期,子群課外作業(yè):第413頁15.17.18.20.21.23.時間:第十三周第二次授課方式:課堂講授教學(xué)進程:第13章 群群同態(tài)與特殊群授課內(nèi)容:群同態(tài),單一群同態(tài),滿群同態(tài),群同構(gòu),交換群,循環(huán)群,生成元課外作業(yè):第413-414頁17.20.21.23.25.26.27.28.31.32.35.時間:第十四周第一次授課方式:課堂講授教學(xué)進程:第13章 群拉格朗日定理與正規(guī)子群授課內(nèi)容:右陪集,左陪集,陪集,拉格朗日定理及其應(yīng)用,正規(guī)子群課外作業(yè):第414頁36.37.39.時間:第十四周第二次授課方式:課堂講授教學(xué)進程:第15章 格與布爾代數(shù)格與子格授課內(nèi)容:格及其性質(zhì),偏序格,保交,保聯(lián),代數(shù)格,對偶格,對偶原理,保序,子格課外作業(yè):第449頁1.2.3.4.時間:第十五周第一次授課方式:課堂講授教學(xué)進程:第15章 格與布爾代數(shù)格同態(tài)格與子格授課
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 房地產(chǎn)業(yè)安全生產(chǎn)管理辦法
- 動物救助捐贈管理計劃
- 體育賽事巴士租賃合同
- 神經(jīng)外科人才聘用合同模板
- 2022年大學(xué)森林資源專業(yè)大學(xué)物理下冊月考試卷C卷-附解析
- 2022年大學(xué)生物科學(xué)專業(yè)大學(xué)物理二月考試題C卷-附解析
- 25樓地面采暖工程施工合同
- 2022年大學(xué)數(shù)學(xué)專業(yè)大學(xué)物理二期末考試試卷D卷-附解析
- 2022年大學(xué)口腔醫(yī)學(xué)專業(yè)大學(xué)物理二期末考試試卷-附解析
- 新生兒濕疹護理健康宣教
- 人教版六年級下冊《反比例的量》導(dǎo)學(xué)案
- GB 26402-2011 食品安全國家標(biāo)準(zhǔn) 食品添加劑 碘酸鉀
- DNA甲基化與腫瘤分子標(biāo)志
- 《甲方認(rèn)質(zhì)認(rèn)價確認(rèn)單》
- 降低住院患者跌倒發(fā)生率
- 各種煙氣焓溫、密度、比熱計算表
- 導(dǎo)游與旅行社簽訂勞動合同
- 公路管理工作常見五大訴訟風(fēng)險及防范
- FLUKE-17B型萬用表使用說明
- 探析高校圖書館文創(chuàng)產(chǎn)品開發(fā)與推廣-以清華大學(xué)圖書館為例
- 痰飲咳嗽病脈證并治第十二
評論
0/150
提交評論