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

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

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


　　編著者
　　2013年3月