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