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

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