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