ADDINCNKISM.UserStyle《離散數學》課程教學大綱（理論課程）一、課程基本信息課程號3023D06006開課單位國際學院課程名稱（中文）離散數學（英文）DiscreteMathematics課程性質必修考核類型考試課程學分4課程學時68課程類別學科基礎課程（學科核心課）先修課程高等數學、線性代數、程序設計適用專業（類）軟件工程二、課程描述及目標（一）課程簡介《離散數學》課程是計算機科學中基礎理論的核心課程，也是軟件工程專業的學科核心課程。離散數學是以研究離散量的結構和相互間的關系為主要目標，其研究對象一般是有限個或可數個元素，體現了計算機學科離散性的特點。本課程包括的主要基礎知識有:命題邏輯、謂詞邏輯、算法、集合與關系、函數、圖和樹的關鍵算法等。課堂教學的重點是講授基本的概念、定理、性質和方法，特別是加強該領域與計算機科學的聯系，以及運用該領域分析、解決實際問題的方法和思路。本課程旨在通過理論教學，培養抽象思維和縝密概括的能力，為數據結構、操作系統、編譯原理、數值邏輯等后續課程奠定必要的數學理論基礎。教學目標通過本課程的學習，使學生具有現代數學的觀點和方法，并初步掌握處理離散結構所必需的思想。同時，培養學生抽象思維和縝密概括的能力，使學生具有良好的開拓專業理論的素質，以及使用所學知識分析和解決實際問題的能力，通過本課程的學習，可以使學生掌握離散數學的基本概念和基本原理，進一步提高抽象思維和邏輯推理的能力。課程目標1：培養邏輯推理能力，能夠運用邏輯運算法則進行思考和論證，從而保證結論的正確性。課程目標2：培養知識的應用能力，能夠運用集合論的觀點界定討論的內涵與外延，運用映射的觀點洞察不同問題之間的內在聯系，課程目標3：培養問題的類比和轉化能力，能夠運用圖論的觀點分析對象之間的復雜關系。三、課程目標對畢業要求的支撐關系畢業要求指標點課程目標權重1-1：軟件工程基礎理論知識課程目標10.31-1：軟件工程基礎理論知識，2-2：工程實踐能力課程目標20.32-2：工程實踐能力，課程目標30.22-5：創新能力課程目標30.2四、教學方式與方法教學方式：課堂講授、課堂討論結合進行。教學方法：理論以實際問題相結合，側重知識的實際背景和問題，注重知識構成及演進思路；通過案例教學解釋抽象知識。五、教學重點與難點（一）教學重點《離散數學》課程包含的數學內容非常多，內容彼此間的獨立性很強，教學重點為命題邏輯、謂詞邏輯、關系的表示、圖和樹的關鍵算法等。（二）教學難點課程內容理論性強，部分內容高度抽象，不易理解，難點主要有命題邏輯和謂詞邏輯的推理，等價關系，圖的同構，圖的漢密爾頓回路等。六、教學內容、基本要求與學時分配序號教學內容基本要求學時教學方式對應課程目標1第一章邏輯和證明熟悉命題邏輯和謂詞邏輯，掌握推理規則。12講授、討論課程目標1，22第二章基本結構熟悉基本的離散結構，如集合，函數，序列和矩陣。6講授、討論課程目標1，23第3章算法了解算法分析初步知識，了解增長函數。4講授、討論課程目標1，24第9章關系了解關系的表示和性質。掌握等價關系和偏序關系。12講授、討論課程目標1，25第10章圖了解圖模型和簡單應用。掌握圖的連通性、同構；掌握歐拉回路和漢密爾頓回路的簡單判定。12講授、討論課程目標1-36第11章樹了解樹的簡單應用。掌握樹的遍歷；樹的搜索；最小生成樹。12講授、討論課程目標1-37第12章布爾代數掌握布爾函數的表示。6講授、討論課程目標1-38分組匯報各小組匯報離散數學應用應用，同時對內容進行討論4討論課程目標2-3合計68七、學業評價和課程考核（一）考核類型：t考試¨考查（二）考核方式：開卷考試t閉卷考試課程論文課程報告其它：（三）成績評定：考核依據建議分值（百分比）考核/評價細則對應課程目標過程考核50%誠信20%平時考核中是否誠實完成課程目標3課堂練習20%按照正確率考評課程目標1-3課堂表現20%積極思考、回答問題正確滿分，否則酌情減分課程目標1-3分組項目20%項目完成情況和團隊配合綜合考評課程目標2-3作業20%按照作業完成情況考評課程目標2-3期末考核50%參照考題答案評分標準考評課程目標1-3八、課程目標達成評價課程目標的實際達成效果計算方式如下，達成值越高，教學效果越好。課程目標達成度畢業要求指標點達成度九、教材與教學參考書（一）教材《離散數學及其應用》（第8版)，KennethH.Rosen，機械工業出版社，2020年1月。（二）教學參考書《離散數學》，李盤林，李麗雙，陳銘偉，徐喜榮，李洋編著，高等教育出版社，2016年02月，第3版；《離散數學》，屈婉玲耿素云張立昂，清華大學出版社，2014年01月，第3