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