離散數學是計算機專業一門重要基礎課和專業核心課,是很多后續課程(如數據結構、編譯原理、程序設計、操作系統、算法設計與分析、形式語言與自動機、數據庫原理和人工智能等)的先修課。離散數學有益于學生概括抽象能力、邏輯思維能力、歸納構造能力等基本數學素養的提升,有益于學生嚴謹、完整、規范的科學態度的培養。通過學習離散數學,還可以提高獨立分析問題及解決問題的能力。
離散數學一般包括四部分內容:數理邏輯、集合論、代數結構和圖論,還包括組合數學、數論、概率論等基本知識。本課程講授離散數學II,主要包括圖論和代數結構兩部分,具體如下:
圖的基本概念和性質
歐拉圖
哈密頓圖
樹
平面圖
匹配與著色
代數系統
群
子群
循環群
置換群
環與域
格
布爾代數
教材:
屈婉玲、耿素云、張立昂,離散數學,高等教育出版社,2008年。
Kenneth H. Rosen, Discrete Mathematics and Its Applications (7th edition), Mc Graw Hill, 2012.