離散數(shù)學(xué)是理工科高等院校計算機(jī)和信息類專業(yè)必修的、重要的專業(yè)基礎(chǔ)課程。離散數(shù)學(xué)課程主要介紹計算機(jī)科學(xué)的基礎(chǔ)理論，它通常由集合論（包括二元關(guān)系與函數(shù)）、數(shù)理邏輯、圖論和代數(shù)結(jié)構(gòu)四部分組成。它不僅為后續(xù)課程（數(shù)據(jù)結(jié)構(gòu)、算法分析、編譯原理、操作系統(tǒng)、人工智能等）作必要的理論準(zhǔn)備，而且離散數(shù)學(xué)中的綜合、分析、歸納、演繹、遞推等方法在計算機(jī)科學(xué)技術(shù)中有著廣泛的用途，該課程還能有效地提高學(xué)生的邏輯思維、抽象思維和創(chuàng)新能力。
　　本書是供以培養(yǎng)應(yīng)用型人才為主的教學(xué)型大學(xué)計算機(jī)和信息類專業(yè)本科生使用的教材。應(yīng)用型人才既不同于研究型大學(xué)培養(yǎng)的計算機(jī)科學(xué)的研究人才，也不同于高等職業(yè)教育所培養(yǎng)的以實踐能力為主的實用型人才。應(yīng)用型人才應(yīng)當(dāng)具有一定的理論素質(zhì)，也應(yīng)當(dāng)具有較強(qiáng)的計算機(jī)有關(guān)方面的研發(fā)能力。因此，為了適應(yīng)應(yīng)用型人才培養(yǎng)的要求，在本教材中對于重要的定理都給出了詳盡的證明，并且用眾多的例題有層次地剖析定理，提示定理的實質(zhì)和內(nèi)涵，使學(xué)生對定理有比較深刻的理解，從而提高學(xué)生的理論修養(yǎng)；另外，本教材中有大量的科學(xué)理論應(yīng)用于實踐的范例，以培養(yǎng)并增強(qiáng)學(xué)生如何實施“科學(xué)理論—技術(shù)—生產(chǎn)力”轉(zhuǎn)化的觀念和方法，提高學(xué)生適應(yīng)社會的能力。
　　在本教材中，除了保留傳統(tǒng)的離散數(shù)學(xué)的主要內(nèi)容外，還增加了在計算機(jī)應(yīng)用技術(shù)中有著廣泛用途的“組合計數(shù)初步”。在介紹“組合計數(shù)初步”時，主要介紹了容斥原理與遞推關(guān)系、生成函數(shù)等。
　　由于離散數(shù)學(xué)的內(nèi)容與后續(xù)課程（如數(shù)據(jù)結(jié)構(gòu)等）關(guān)系密切，因此本書也可以作為報考計算機(jī)或信息類專業(yè)研究生的參考資料。
本書由北京工業(yè)大學(xué)計算機(jī)學(xué)院講課教授鄧米克和邵學(xué)才共同編寫。其中，第1~3章由邵學(xué)才編寫； 第4~7章由鄧米克編寫。在教材的編寫過程中，北京工業(yè)大學(xué)原計算機(jī)科學(xué)系系主任劉玉林教授提出了頗有見地的建設(shè)性建議，使本教材增色不少，他的厚實、穩(wěn)重的長者風(fēng)范，作者銘記在心； 既有堅實的理論素養(yǎng)，又有豐富的軟件研發(fā)經(jīng)驗的周小兵教授的意見使作者受益匪淺； 此外，編者還得到了任強(qiáng)、吳士秀、董淑芳等教師的悉心幫助，作者在此一并對他們深表謝意。
　　最后，還要感謝北京工業(yè)大學(xué)計算機(jī)學(xué)院段紅峰教務(wù)科長，他對教材建設(shè)深遠(yuǎn)意義的深刻理解，使他自始至終關(guān)切本教材的編寫工作。本教材能順利地完成編寫工作是和段紅峰科長的支持和幫助分不開的。
　　由于作者水平有限，教材中難免有不足之處，敬請讀者指正。

　　作者
　　2014年5月于北京