離散數學

該教材具體編寫分工如下：第1章、第7章由李秀芳編寫，第8章、第9章由楊洪勇編寫，第10章、第12章由趙永升編寫，其餘章節由張小峯編寫，全書的策劃和定稿工作由張小峯負責。 ^[2] 

該教材的規劃和寫作過程中，山東大學張彩明教授、西安電子科技大學李興華教授、魯東大學鄒海林教授等對書稿進行了審閲，提出修改建議。 ^[2] 

在該教材編寫的過程中，作者參考了中國國內外諸多版本的《離散數學》、《計算機數學基礎》等相關教材，同時參考了相關計算機程序設計大賽的相關資料。 ^[2] 

2016年3月1日，該教材由清華大學出版社出版。 ^[1] 

第1章矩陣知識初步。對矩陣知識進行簡要的介紹，包括矩陣的基本概念、矩陣的運算以及布爾矩陣等。

第2章組合數學與數論初步。對組合數學及數論的基本知識進行介紹，包括基本計數原則、排列組合、鴿籠原理、素數、最大公約數與最小公倍數、數的進制轉換等。

第3章命題邏輯。對命題邏輯的相關知識進行介紹，包括命題及命題聯結詞、命題公式、命題公式的等值演算、聯結詞的完備集、命題公式的範式、命題邏輯的推理等。

第4章謂詞邏輯。對謂詞邏輯的相關知識進行介紹，包括謂詞邏輯的基本知識、謂詞公式的等價及藴含、謂詞邏輯的推理等。

第5章集合論基礎。對集合論的基礎知識進行介紹，包括集合的基本表示、集合的基本運算、容斥原理等。

第6章關係。對關係的相關知識進行介紹，包括關係的定義與表示、關係的運算、關係的性質等。

第7章特殊關係。介紹了3類特殊的關係：等價關係、偏序關係和函數。

第8章圖論基礎。對圖論的基礎知識進行介紹，包括圖論的基本概念、通路與迴路、無向圖和有向圖的連通性等。

第9章特殊圖。介紹3種常用的圖：歐拉圖、漢密爾頓圖、樹。

第10章代數系統。對代數系統的基本概念進行介紹，包括運算與代數系統的基本定義、運算的性質及特殊元素、代數系統的同態、代數系統與子代數系統等。

第11章羣論。對半羣、獨異點、羣的基本概念進行介紹，此外，對置換羣、循環羣、正規子羣等也進行了介紹。

第12章其他代數系統。介紹了環、域、布爾代數等其他代數系統。 ^[2] 

該教材有配套教材——《離散數學知識解析與習題解答》。 ^[5] 

該教材提供PPT、習題解答、授課資料等教學資源。 ^[1] 

該教材以訓練學生的思維能力為核心，以培養計算機類專業的應用型人才為目的，將計算機數學與算法設計進行有效結合，全面提高學生的程序設計能力和應用創新能力。通過對典型的例題進行分析，培養學生分析問題和解決問題的能力。同時，對一些內容進行延伸，將計算機數學基礎與後續的專業知識進行結合。 ^[1] 

該教材具有以下特點：

張小峯，男，工學博士，魯東大學信息與電氣工程學院副教授。主要從事數字圖像處理、模式識別等方面的研究工作。先後為本科生講授《離散數學》《信息論與編碼》《算法分析與設計》等課程。 ^[6] 

趙永升，魯東大學信息與電氣工程學院副院長。 ^[7] 

楊洪勇，男，工學博士，魯東大學信息與電氣工程學院教授、碩士研究生導師。一直從事複雜網絡控制、非線性系統控制、多自主體協作控制、網絡控制、以及高性能網絡通信技術等領域的研究。 ^[8]