本書系統(tǒng)地介紹了離散數(shù)學(xué)的理論與方法。全書共9章, 內(nèi)容包括命題邏輯、謂詞邏輯、集合、二元關(guān)系和函數(shù)、代數(shù)系統(tǒng)、圖論導(dǎo)論、特殊的圖、樹及其應(yīng)用以及組合數(shù)學(xué)基礎(chǔ)。為了幫助學(xué)生對龐雜的知識點進行理解記憶, 本書在講解知識點時配有豐富的、面向計算機科學(xué)技術(shù)發(fā)展的應(yīng)用實例; 同時, 每一章都有典型例題解析, 詳細分析了該例題中所用到的基本概念和基本原理, 為學(xué)生提供了解題思路和解題技巧; 考慮到離散數(shù)學(xué)是計算機專業(yè)的核心課程, 專門設(shè)置了和章節(jié)相關(guān)的上機實驗, 供學(xué)生練習(xí)。

本書知識結(jié)構(gòu)嚴謹, 證明推理嚴密, 可作為普通高等學(xué)校計算機科學(xué)與技術(shù)、軟件工程、網(wǎng)絡(luò)工程等專業(yè)本科生離散數(shù)學(xué)課程的教材, 也可供其他專業(yè)學(xué)生和科技人員參考。