本書是全國高等學校計算機教育研究會支持的立項教材，較全面地介紹了離散數學的基本理論及基本方法。本書以離散數學課程重要知識點為紐帶，夯實程序設計思路，拓展數據和關系的表示方法，強化從實例計算到模型計算和問題—形式化—自動化（計算機化）等方法，旨在為后續(xù)的科學研究打下良好的基礎。全書由命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集合、關系、函數與集合的勢、圖論、樹和有序樹、群和環(huán)、格與布爾代數共12章組成。
本書可作為高等院校計算機科學與技術及相關專業(yè)離散數學課程教材，也可作為教師、研究生或軟件技術人員的參考書。