本書是普通高等教育“十二五”國家級規(guī)劃教材，較全面地介紹了計算機(jī)科學(xué)與技術(shù)、軟件工程及相關(guān)專業(yè)所必需的數(shù)學(xué)知識。全書共分為數(shù)理邏輯、集合論、近世代數(shù)與圖論4篇。第一篇包括命題邏輯、謂詞邏輯和非經(jīng)典邏輯；第二篇包括集合、關(guān)系、函數(shù)和粗糙集；第三篇包括代數(shù)系統(tǒng)的概念、半群、群、環(huán)、域、格和布爾代數(shù)；第四篇包括圖的基本概念、歐拉圖、哈密頓圖、樹、二分圖和平面圖。各篇相對獨(dú)立而又有機(jī)聯(lián)系，書中的證明力求嚴(yán)格完整。書中的例題、習(xí)題具有一定的典型性。全書內(nèi)容深入淺出，便于自學(xué)。各章有復(fù)習(xí)提要，便于讀者總結(jié)和提高。本書可作為高等院校計算機(jī)科學(xué)與技術(shù)、軟件工程及相關(guān)專業(yè)離散數(shù)學(xué)課程的教材，也可作為考研及相關(guān)專業(yè)技術(shù)人員的參考書。