《應(yīng)用離散數(shù)學》教學大綱

《離散數(shù)學》課程教學大綱1/8《離散數(shù)學》課程教學大綱課程英文名DiscreteMathematics課程代碼A0501520課程類別學科基礎(chǔ)課課程性質(zhì)學科必修學分4總學時數(shù)64開課學院計算機學院開課基層教學組織基礎(chǔ)理論課程組面向?qū)I(yè)計算機科學與技術(shù)、軟件工程開課學期第2學期注：課程類別是指學科基礎(chǔ)課/專業(yè)課/實踐環(huán)節(jié)/通識公共課/公共基礎(chǔ)課/其他；課程性質(zhì)是指通識必修/通識選修/學科必修/專業(yè)必修/專業(yè)選修/實踐必修/實踐選修。一、課程目標通過理論教學和實踐活動，達到以下課程目標：課程目標5：能夠結(jié)合國家建設(shè)和民族復(fù)興的新時代背景，激發(fā)學生使命感和責任心。課程目標6：能夠具備基本的科學素養(yǎng)，激勵學生培養(yǎng)精益求精的數(shù)學精神和文化傳承理念。二、課程目標與畢業(yè)要求對應(yīng)關(guān)系本課程的課程目標對計算機科學與技術(shù)專業(yè)、軟件工程畢業(yè)要求指標點的支撐情況如表1所示：表1 課程目標與畢業(yè)要求對應(yīng)關(guān)系畢業(yè)要求指標點課程目標工程基礎(chǔ)、計算機軟件系統(tǒng)和計算機硬件體系知1-1計算機專業(yè)知識，并能夠用于理解與描述復(fù)雜工程問題，建立模型。1，51-2型解決問題。2，42與研究獲得有效結(jié)論。2-1能夠應(yīng)用數(shù)學、自然科學和工程科學的基本原理識別、表達計算機相關(guān)領(lǐng)域的復(fù)雜工程問題。3，6三、課程目標與教學內(nèi)容和方法的對應(yīng)關(guān)系2表2 課程目標與教學內(nèi)容、教學方法的對應(yīng)關(guān)系教學內(nèi)容教學方法課程目標1.命題邏輯課堂講授、課堂練習、自學、文獻查閱1，52.謂詞邏輯課堂講授、課堂練習、自學、文獻查閱1，53.集合與關(guān)系課堂講授、課堂練習、自學、文獻查閱2，5，64.代數(shù)結(jié)構(gòu)課堂講授、課堂練習、自學、文獻查閱3，55.圖論課堂講授、課堂練習、自學、文獻查閱4，5，6課程教學的詳細內(nèi)容與要求如下：命題邏輯教學內(nèi)容：范式。教學重點：教學難點：思政融合點1：引導(dǎo)學生查找資料，從邏輯推理的角度出發(fā)，領(lǐng)會其完備性和正確性。謂詞邏輯教學內(nèi)容：教學重點：教學難點：教學要求：集合與關(guān)系教學內(nèi)容：。教學難點：教學要求：代數(shù)結(jié)構(gòu)教學內(nèi)容：教學重點：教學難點：教學要求：圖論教學內(nèi)容：教學重點：教學難點：教學要求：思政融合點3：掌握圖論中“割點”與“橋”的知識與性質(zhì)，引導(dǎo)學生討論對“割點”與“橋”在生活中的應(yīng)用，回顧歷史中對于這二個概念的靈活使用。四、實踐環(huán)節(jié)及要求五、與其它課程的聯(lián)系后續(xù)課程：數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、人工智能、編譯原理、數(shù)據(jù)庫等。六、學時分配表3 學時分配表教學內(nèi)容講課時數(shù)實驗時數(shù)實踐學時課內(nèi)上機時數(shù)課外上機時數(shù)自學時數(shù)習題課時數(shù)討論時數(shù)命題邏輯13210.25謂詞邏輯7210.25集合與關(guān)系11610.75代數(shù)結(jié)構(gòu)11410.25圖論15410.5合計571852總計64學時（57講課時數(shù)+5習題課時數(shù)+2討論時數(shù)）+18自學學時備注：自學學時用于預(yù)習、復(fù)習、習題、自學、課堂拓展等學習活動等。習題課可以不單獨講授，穿插在講課時數(shù)里，老師因材施教。課程目標達成途徑及學生成績評定方法1、課程目標達成途徑各個課程目標的達成途徑如表4所示，但不僅限于此。表4 課程目標與達成途徑課程目標達成途徑使學生能夠理解并能初步運用形式化的邏輯推理和數(shù)學證明，訓(xùn)練學生的數(shù)學思維方式；析模型，并利用模型解決問題。靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、課后作業(yè)、布置學生文獻查閱、進行課堂互動等模式，幫助學生運用命題邏輯和謂詞邏輯的基本原理知識，通過對自然語言的深入剖析，使學生能夠理解并能初步運用形式化的邏輯推理和數(shù)學證明，訓(xùn)練學生的數(shù)學思維方式；并且能夠理解和描述復(fù)雜工程問題，建立和分析模型，并利用模型解決問題。用集合和關(guān)系的觀點去分析問題和解決問題的能力。靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、課后作業(yè)、布置學生文獻查閱、進行課堂建立數(shù)形結(jié)合的數(shù)學思想，培養(yǎng)學生用集合和關(guān)系的觀點去分析問題和解決問題的能力。于識別和表達計算機相關(guān)領(lǐng)域的復(fù)雜工程問題。靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、課后作業(yè)、布置學生文獻查閱、進行課堂互動等模式，幫助學生掌握代數(shù)結(jié)構(gòu)的基本知識，運用群的定義與性質(zhì)，通過實例建立抽象概念，用于識別和表達計算機相關(guān)領(lǐng)域的復(fù)雜工程問題。4：靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、課后作業(yè)、布置學生文獻查閱、進行課堂互動等模式，幫助學生理解圖論的理論、思想和方法，使學生會用其解決實際問題，培養(yǎng)學生的抽象思維和縝密概括的能力。課程目標5：能夠結(jié)合國家建設(shè)和民族復(fù)興的新時代背景，激發(fā)學生使命感和責任心。靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、布置學生文獻查閱、進行課堂互動、總結(jié)報告等模式，進一步激發(fā)學生使命感和責任心。課程目標6：能夠具備基本的科學素養(yǎng)，激勵學生培養(yǎng)精益求精的數(shù)學精神和文化傳承。靈活運用傳授式、引導(dǎo)式和啟發(fā)式等教學方法，通過重點/難點內(nèi)容講解、布置學生文獻查閱、進行課堂互動、總結(jié)報告等模式，激勵學生培養(yǎng)精益求精的數(shù)學精神和文化傳承。2、學生成績評定方法學期總評成績由兩部分構(gòu)成：平時成績，占比30%；期末考試成績，占比70%。430%232（30%）各部分的具體評價環(huán)節(jié)、關(guān)聯(lián)課程目標、評價依據(jù)及方法和在總成績中的占比，如所示。學期總評成績由兩部分構(gòu)成：平時成績，占比50%；期末考試成績，占比50%。平時成績可包括（但不僅限于）課程思政實踐（占平時20%）、課后作業(yè)（占平時20%）、視頻學習（占平時5%）、課堂互動（占平時10%）、在線測試（占平時10%）、課堂討論（占平時20%）、單元綜合測試（占平時15%）等項目，至少不少于4項。各部分的具體評價環(huán)節(jié)、關(guān)聯(lián)課程目標、評價依據(jù)及方法和在總成績中的占比，建議比例如表6所示，任課教師可根據(jù)實際授課情況決定。表5線下教學課程考核與成績評定方法成績構(gòu)成考核項目考核關(guān)聯(lián)的課程目標考核依據(jù)與方法建議占平時成績比例比重基于課堂講授和討論的思政案例，通過課外文獻查課程思政實踐5，620%平時成績（100分和責任心。課后作業(yè)1，2，3，4根據(jù)作業(yè)質(zhì)量與正確率，給出批閱成績30%30%互動情況1，2，3，4，5，6根據(jù)課堂表現(xiàn)考核，給出成績20%到課聽課情況1，2，3，4根據(jù)課堂情況考核，給出成績30%期末考試閉卷考試1,2,3,4，5，相關(guān)試題考試成績70%成績構(gòu)成考核項目考核關(guān)聯(lián)的課程目標考核依據(jù)與方法建議占平時成績比例占總評成績的比重平時成績（100分課程思政實踐5，6和責任心。20%30%（100分6總評成績1,2,3,4,5，6=平時成績*30%+考試成績*70%100%表6線上/線下混合教學課程考核與成績評定方法考核項目考核內(nèi)容關(guān)聯(lián)的課程目標考核依據(jù)與方法建議占占總評成績比重平時成績（100）課程思政實踐5，620和責任心。20%50課后作業(yè)1,2,3，4滿分20分，以完成質(zhì)量以及是否及時提交做為評價依120業(yè)的平均值。20%視頻學習1,2,3，45評價5%課堂互動1,2,3，4，5，610量與回答次數(shù)計分10%在線測試1,2,3，4105平均值10%課堂討論1,2,3，4，5，62020計算各次平均值20%單元綜合測試1,2,3，415415分，計算平均值15%期末考試（100）閉卷考試1,2，3,4，5，6相關(guān)試題考試成績50%總評成績1,2,3,4,5，6=平時成績*50%+考試成績*50%100%八、教學資源表7課程的基本教學資源資源類型資源教材應(yīng)用離散數(shù)學（第三版）參考書籍或文獻教學文檔無九、課程目標達成度的定量評價課程目標達成度的定量評價算法：1