本書介紹了離散數學基礎知識和應用方法，全書共分為4篇，第1篇為數理邏輯，內容包括命題邏輯和一階邏輯；第2篇為集合論，內容包括集合、二元關系和函數；第3篇為代數系統，內容包括代數結構和格與布爾代數；第4篇為圖論，內容包括圖的基本概念及表示、幾類重要的圖和樹。 本書在內容安排上，突出由淺入深、循序漸進、通俗易懂的特點，各章配備了大量的例題，其內容與計算機科學的理論與實踐密切結合，便于自學。本書適合作為普通高等院校計算機類專業(yè)本科生的教材，也可供計算機專業(yè)的科技人員使用或參考。