離散數學

該教材依據《中國計算機科學與技術學科教程2002》中制定的關於離散數學的知識結構和體系為依據撰寫而成。 ^[2] 

該教材寫作大綱和內容特色由孫道德教授提出，數理邏輯和集合論部分的寫作由王秀友副教授執筆，代數結構和圖論部分的寫作由王敏生副教授執筆，最後由孫道德教授統稿，。同時教學第一線的教師參與了工作，提出了修改意見。編者汲取了他們的教學成果。 ^[2] 

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

全書共9章，分為4篇：數理邏輯、集合論、代數系統、圖論。數理邏輯包括命題邏輯和謂詞邏輯；集合論介紹了集合、關係、函數等；代數系統介紹了羣、環、域等；圖論部分介紹了圖的基本概念及特殊圖。 ^[1] 

該教材有配套教材——《離散數學學習指導》。 ^[5] 

該教材結合基本理論和基本方法介紹了數理邏輯、集合論、代數系統、圖論這4部分在計算機中的實際應用。在編寫過程中，以數理邏輯的基本思想為主線，將離散數學各個部分有機地結合起來。 ^[1] 

該教材在講解原理的基礎之上，結合現代計算機科學技術，從內容和形式上發展該門學科，主要體現在：①加強了現代計算機科學、數字技術、圖論與離散數學的結合；②更新和增加了離散數學應用實例。主要內容包含數理邏輯、集合與關係、函數、代數系統、圖和樹。內容設計增加幫助理解理論的習題分析，對於加強素質教育，培養抽象思維和邏輯表達能力，提高發現問題、分析問題、解決問題的能力起着引導和幫助作用。

該教材將數理邏輯教學內容放在第一部分，在集合與關係、代數系統、圖與樹的教學內容中始終貫穿數理邏輯的推理思想。 ^[2] 

孫道德，1957年生，男，阜陽師範學院計算機與信息工程學院教授，從事數理統計的理論與應用研究。 ^[6] 

王敏生，1963年生，男，漢族，安徽桐城人，安徽師範大學數學計算機科學學院講師，主要從事應用數學和計算機數學、數學模型、數學基礎理論等方面的研究。 ^[7] 

王秀友，1975年生，男，安徽宿州人，碩士，阜陽師範學院計算機與信息工程學院副教授，主要研究領域為計算機輔助幾何設計與圖形學，圖像處理與模式識別。 ^[8]