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

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

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


　　編著者
　　2013年3月