本書作為計算機專業(yè)的專業(yè)基礎教材,主要介紹離散數(shù)學的基礎知識,全書共分7章,包括命題邏輯,一階謂詞邏輯集合論與二元關系,函數(shù),代數(shù)系統(tǒng),格代數(shù),圖論等,并含有相關的例題與習題。本書適用于高等理工科院校、計算機 科學、工程、應用信息安全專業(yè)的本科生。也適用于對此課程有需要的信息管理、通信工程及跨專業(yè)的本科生。也可供教師、研究生及有關工程技術人員參考使用,也適合作為自學讀本。