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

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