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