“離散數(shù)學(xué)”是計(jì)算機(jī)及其相關(guān)專業(yè)的專業(yè)基礎(chǔ)課。全書共分四篇: 第一篇是數(shù)理邏輯, 包括命題邏輯和一階邏輯; 第二篇是集合論, 包括集合、二元關(guān)系和函數(shù); 第三篇是圖論基礎(chǔ), 包括圖的基本概念、特殊圖和樹; 第四篇是代數(shù)系統(tǒng), 包括代數(shù)系統(tǒng)的基本概念和典型代數(shù)系統(tǒng)簡介。

本書用大量的實(shí)例將理論知識(shí)和計(jì)算機(jī)應(yīng)用相結(jié)合, 可作為應(yīng)用型高校計(jì)算機(jī)科學(xué)與技術(shù)、網(wǎng)絡(luò)工程、軟件工程、電子與計(jì)算機(jī)工程等相關(guān)專業(yè)“離散數(shù)學(xué)”課程的教材, 也可作為計(jì)算機(jī)及相關(guān)領(lǐng)域研究和應(yīng)用開發(fā)人員的參考書。