本書是“全國高等學校計算機教育研究會‘十四五’規劃教材”,較全面地介紹了離散數學的基本理論及基本方法。本書以離散數學課程的重要知識點為紐帶,夯實程序設計思路,拓展數據和關繫的表示方法,強化從實例計算到模型計算和問題—形式化—自動化(計算機化)等方法,為後續的科學研究打下良好的基礎。全書由命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集合、關繫、函數與集合的勢、圖論、樹和有序樹、群和環、格與布爾代數共12章組成。本書知識結構完整,內容豐富,不僅配備了符合教學目標的課後習題,還配備了重點章節的微課視頻,既方便教學,又方便自學。
本書可作為高等院校計算機科學與技術及相關專業離散數學課程的教材,也可作為教師、研究生或軟件技術人員的參考書。