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