離散數(shù)學是以研究離散量的結(jié)構(gòu)和相互之間的關(guān)系為主要目標,其研究對象一般為:有限或可數(shù)個對象(例如:自然數(shù)、整數(shù)、真假值、有限個結(jié)點等),而離散性也是計算機科學的顯著特點。
離散數(shù)學與計算機科學的其他課程如:數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯原理、算法分析、邏輯設(shè)計、系統(tǒng)結(jié)構(gòu)、容錯技術(shù)、人工智能等有密切的聯(lián)系。它是這些課程的先導(dǎo)和基礎(chǔ)課程。
菏澤學院計算機學院
《離散數(shù)學》課程教學大綱
課程編號:135037
課程名稱:離散數(shù)學/Discrete Mathematics
課程總學時/學分:48學時/3學分(其中理論48學時,實驗0學時)
適用專業(yè):計算機科學與技術(shù)專業(yè)
一、課程簡介
《離散數(shù)學》是現(xiàn)代數(shù)學的一個重要分支,是隨著計算機科學的發(fā)展而逐步建立的,它形成于七十年代初期,是一門新興的工具性學科,是整個計算機學科的專業(yè)基礎(chǔ)課。離散數(shù)學是以研究離散量的結(jié)構(gòu)和相互間的關(guān)系為主要目標,其研究對象是有限個或可數(shù)個元素,因此它充分描述了計算機科學離散性的特點。
二、教學目的和任務(wù)
根據(jù)學?!耙惑w兩翼,三經(jīng)四緯,五個保障”的宏觀人才培養(yǎng)模式,以及計算機類專業(yè)人才培養(yǎng)方案要求,通過本課程的學習,使學生了解離散數(shù)學的基本思想及應(yīng)用領(lǐng)域,掌握離散數(shù)學的基本概念、基本方法和基本技術(shù);培養(yǎng)學生的抽象思維和邏輯推理能力;提高學生應(yīng)用離散數(shù)學知識解決實際問題的能力,并為學生今后處理離散信息,提高專業(yè)理論水平,從事計算機的實際工作提供必備的數(shù)學工具。
三、教學基本要求
本課程的內(nèi)容從知識、素質(zhì)、能力、德、智、體、美七個維度形成教學內(nèi)容方陣,每一次課一般安排3-5個知識點,從七個維度組織內(nèi)容,分課內(nèi)、課外開展教學。
素質(zhì)養(yǎng)成主要包括以下內(nèi)容:
1.思想政治素質(zhì)
具有中國特色社會主義共同理想,秉承社會主義核心價值觀;具有愛國主義精神;具有責任心和社會責任感。
2.文化科技素質(zhì)
具有不斷更新知識和自我完善的能力;具有持續(xù)學習和終身學習的能力;具有一定的創(chuàng)新意識、創(chuàng)新精神和創(chuàng)新能力;具有一定的人文和藝術(shù)素養(yǎng);具有良好的人際溝通能力。
3.專業(yè)素質(zhì)
掌握離散數(shù)學的基本概念,能夠使用所學的概念對許多問題作出正確的判斷。通過課程中許多定理的證明過程復(fù)習概念,了解證明的思路,學會證明的方法,并使學生掌握定理的內(nèi)容和結(jié)果;具有一定的應(yīng)用離散數(shù)學知識解決實際問題的能力。
4.職業(yè)素質(zhì)
具有良好的職業(yè)道德和職業(yè)操守;具有較強的組織觀念和集體意識; 有探索精神。
5.身心素質(zhì)
具有人文素養(yǎng)、審美能力、團結(jié)協(xié)作精神,具有健康的體魄和良好的心理素質(zhì),社會適應(yīng)能力。
能力訓練:集中訓練學生抽象思維和邏輯推理能力。
德育:貫徹課程思政精神,由于離散數(shù)學就是實際問題的建模工具,是集我們的人生觀、世界觀、方法論于一體的,在學習中能結(jié)合知識點開展文化、思想、政治等教育。
智育:主要體現(xiàn)在知識點的難點重點的學習能力培養(yǎng),創(chuàng)新能力的啟迪與激發(fā),算法就是最能體現(xiàn)創(chuàng)新。
體育:主要培養(yǎng)學生的身心健康,陽光心態(tài),在問題的求解中,要有一定的抽象思維和嚴密的邏輯推理能力,更需要一定的耐心,要有體力還要有毅力。
美育:通過離散數(shù)學知識的邏輯性來培養(yǎng)學生欣賞和分析生活的中邏輯之美。
四、教學內(nèi)容與學時分配
1. 集合論基礎(chǔ)(4學時)
知識點:集合的概念與表示法、幾個特殊集合、集合間的關(guān)系、集合運算、冪集。
重點:集合的運算、集合恒等式的證明。
難點:集合恒等式的證明。
2. 關(guān)系(12學時)
知識點:關(guān)系的基本概念、關(guān)系的表示方法、關(guān)系運算、復(fù)合關(guān)系與逆關(guān)系;關(guān)系的性質(zhì)、次序關(guān)系、等價關(guān)系。
重點:關(guān)系的運算與性質(zhì)、偏序關(guān)系、等價關(guān)系。
難點:關(guān)系的閉包運算,偏序關(guān)系的哈斯圖和特征值、等價與劃分的關(guān)系。
3. 函數(shù)(2學時)
知識點:函數(shù)的基本概念、復(fù)合函數(shù)、反函數(shù)、多元函數(shù)、常用函數(shù)介紹。
重點:復(fù)合函數(shù)、反函數(shù)、函數(shù)性質(zhì)的判斷。
4. 代數(shù)系統(tǒng)基礎(chǔ)(6學時)
知識點:代數(shù)系統(tǒng)的一般概念、代數(shù)系統(tǒng)常見的一些性質(zhì)、代數(shù)系統(tǒng)的同構(gòu)與同態(tài)。
重點:二元運算及代數(shù)系統(tǒng)的性質(zhì)的判斷、單位元、逆元、零元的求解。
難點:代數(shù)系統(tǒng)的同構(gòu)。
5. 群論(4學時)
知識點:半群、單元半群、群、變換群、有限群、循環(huán)群。
重點:群的基本概念及性質(zhì)、循環(huán)群的概念及性質(zhì)。
難點:群同構(gòu)。
6. 圖論原理(6學時)
知識點:圖的基本概念、通路和回路、圖的連通性、歐拉圖、圖的矩陣表示法、圖的鄰接矩陣和可達性矩陣。
重點:圖的連通性。
難點:利用矩陣運算判斷圖的連通性、同構(gòu)圖。
7. 常用圖--------- 樹與歐拉圖(2學時)
知識點:樹的定義及性質(zhì)、 二元樹及其應(yīng)用、生成樹、歐拉圖。
重點:樹的定義及性質(zhì)、 二元樹及其應(yīng)用、有權(quán)圖的最小生成樹。
8. 命題邏輯(8學時)
知識點:命題、命題聯(lián)結(jié)詞、命題符號化、命題變元與命題公式、重言式、命題邏輯的基本等式、對偶定理、命題邏輯的基本蘊含式及推理規(guī)則、主析取范式和主合取范式。
重點:命題聯(lián)結(jié)詞與命題符號化、命題公式及等值演算、命題邏輯的推理理論、主析取范式、主合取范式。
難點:命題等式的證明、命題邏輯的蘊含推理、求主析取范式和主合取范式。
五、教學方法及手段
教學過程中注重理論、方法和實例的結(jié)合,努力使學生對于離散數(shù)學課程逐漸形成較為完整的知識體系。本課程使用多媒體教室授課,課程組精心制作的與教材相配套的多媒體教學課件,吸收了眾多同類課件的精華,在教學內(nèi)容、方法、手段的改革上有很大突破。傳統(tǒng)的教學模式和現(xiàn)代化的教學手段相結(jié)合,一定收到良好的教學效果。在教學方法上,鼓勵質(zhì)疑,注重啟發(fā)、一題多解,舉一反三、觸類旁通,注重引導(dǎo)、緊抓重點,適時小結(jié);在教學手段上,精簡習題、典型分析、開展討論、培養(yǎng)能力,課堂討論可以加深學生對理論知識的理解和記憶,有助于學生養(yǎng)成獨立思考問題、相互交流意見的習慣,從而提高他們分析和解決問題的能力。
1.課前準備。
通過集體備課,教師把課程內(nèi)容按知識點的錄成微課,并根據(jù)本次課的教學重難點制作了自主學習任務(wù)單,同時搜集了一些網(wǎng)絡(luò)課程、大學MOOC平臺。
課前教師把微課、自主學習任務(wù)單、課件、網(wǎng)絡(luò)課程、計算機應(yīng)用、試題、相關(guān)資源通過教學平臺發(fā)布。學生主要根據(jù)有指導(dǎo)性的學習資源自主學習,并能完成針對性的測驗,對疑難問題可以通過網(wǎng)絡(luò)自主解決,也可以課下和同學討論或者在平臺給老師留言。教師根據(jù)學生的反饋進行備課。
2.課堂教學。
課上教師根據(jù)測驗和學生的留言,讓學生以小組探究、討論交流、相互評論的方式解決疑難,過程中師生互動,教師同時記錄學生課堂表現(xiàn),并對其進行量化。
3.課后反思。
總結(jié)反思即對學習過程的簡要歸結(jié),其本身是學習提高的過程。于學生而言,總結(jié)反思有助于增強原有知識節(jié)點之間的關(guān)聯(lián)性,調(diào)整知識網(wǎng)絡(luò)體系的內(nèi)部結(jié)構(gòu)。通過總結(jié)反思,隨時監(jiān)控學習過程中使用的學習策略、學習方法得當與否,以便在下一次學習中有更好的體驗;于教師而言,有助于認識到教學過程中的得與失,從而不斷優(yōu)化教學設(shè)計。
4.自主課外編程實踐。
每章內(nèi)容結(jié)束后都會給學生布置一個編程任務(wù),目的是使學生能夠利用所學知識將離散數(shù)學中的復(fù)雜計算用計算機算法實現(xiàn),提高學生學習的興趣,并且更好的理解離散數(shù)學知識。
六、先修課程、后續(xù)課程
先修課程:《高等數(shù)學》、《線性代數(shù)》、《數(shù)字邏輯電路》
后續(xù)課程:《數(shù)據(jù)結(jié)構(gòu)》、《操作系統(tǒng)》、《編譯原理》、《計算機網(wǎng)絡(luò)》、《人工智能》。
七、考核方式
為突出學生自主學習,加強過程質(zhì)量監(jiān)控,考核包括平時成績和期末考試成績,平時成績主要有考勤、作業(yè)成績、平臺成績、課堂表現(xiàn),平時成績占30%,期末成績占70%。
八、教材及主要參考資料
[1] 徐潔磐.離散數(shù)學導(dǎo)論. 高等教育出版社,2016.12
[2] 屈婉玲,耿素云.離散數(shù)學. 高等教育出版社,2015.03
[3] Kenneth H.Rosen.離散數(shù)學及其應(yīng)用. 機械工業(yè)出版社,2018.03
學習平臺:
北京師范大學 崔光佐教授(超星)http://mooc.chaoxing.com/course/164433.html
上海交通大學 曹珍富 教授(超星)http://mooc.chaoxing.com/course/42964.html
北京大學 陳斌副教授(中國大學MOOC)https://www.icourse163.org/course/PKU-1002525004
電子科技大學王麗杰講師(中國大學MOOC)https://www.icourse163.org/course/UESTC-1002268006