隨著計算機學科與技術的發(fā)展以及現(xiàn)在對計算機人才的需求的變化，對學生掌握的知識也將發(fā)生巨大的變化，不僅要求學生擴大理論范圍的了解，同時要求學生增加實踐知識的訓練。離散數(shù)學是理論與實踐結合緊密的科學，它是計算機科學與技術以及其他應用學科的理論基礎。離散數(shù)學課程所傳授的思想和方法，廣泛地體現(xiàn)在計算機科學技術及相關專業(yè)的諸領域，通過對離散數(shù)學的學習，能夠鍛煉抽象思維和邏輯推理的能力，對科學計算、信息處理、軟件工程、硬件設計、科學研究、日常事務和計算機應用都打下堅實基礎，特別對從事計算機科學與理論研究的高層次計算機人員來說，更是一門必不可少的基礎理論工具。
本書依據(jù)《中國計算機科學與技術學科教程2002》中制定的關于離散數(shù)學的知識結構和體系為依據(jù)撰寫，在內容選擇上，力求做到理工科學生通俗易懂，理論聯(lián)系實際，增強學生邏輯思維能力和學習方法的訓練，闡述了離散數(shù)學證明問題的方法。在講解原理的基礎之上，結合現(xiàn)代先進的計算機科學技術，從內容和形式上發(fā)展本門學科，主要體現(xiàn)在： ①加強了現(xiàn)代計算機科學、數(shù)字技術、圖論與離散數(shù)學的結合； ②更新和增加了離散數(shù)學應用實例。主要內容包含數(shù)理邏輯、集合與關系、函數(shù)、代數(shù)系統(tǒng)、圖和樹。內容設計增加幫助理解理論的習題分析，對于加強素質教育，培養(yǎng)抽象思維和邏輯表達能力，提高發(fā)現(xiàn)問題、分析問題、解決問題的能力起著引導和幫助作用。

　　教材編寫力求體系嚴謹、選材適當、針對性強、有利教學，同時在素材組織上更加注重在計算機科學技術中的應用。注重語言的通俗性和符號的統(tǒng)一性、規(guī)范性、簡潔性，注重邏輯思維能力的訓練。將數(shù)理邏輯教學內容放在第一部分，在集合與關系、代數(shù)系統(tǒng)、圖與樹的教學內容中始終貫穿數(shù)理邏輯的推理思想，有效鍛煉學生的嚴謹邏輯思維能力。

　　本書寫作大綱和內容特色由孫道德教授提出，數(shù)理邏輯和集合論部分的寫作由王秀友副教授執(zhí)筆，代數(shù)結構和圖論部分的寫作由王敏生副教授執(zhí)筆，最后由孫道德教授統(tǒng)稿，同時邀請了教學第一線的教師參與了工作，提出了很多的寶貴意見，并汲取了他們豐富的教學成果，在此向他們表示感謝。但是由于水平有限，問題甚至錯誤在所難免，謹請讀者批評指正。


　　編著者
　　2013年3月