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