本教材在中國礦業(yè)大學2020版課程質量標準的指導下，結合專業(yè)需求和教學實際進行選材和編撰，教材經過多次數(shù)學活動檢驗和廣大師生的反饋，內容日趨完善。教材由四部分組成：集合論、代數(shù)系統(tǒng)、數(shù)理邏輯和圖論，共9章，依次為集合論基礎、關系、函數(shù)、代數(shù)系統(tǒng)、群、命題邏輯、謂詞邏輯、圖的基本概念、常用圖。本書包含較多針對性的例題和足量的課后習題，密切聯(lián)系專業(yè)實際應用，強調抽象思維、計算思維和邏輯推理能力的培養(yǎng)。本教材適合作為高等學校計算機及相關專業(yè)本科生離散數(shù)學課程教材，也可供相關工程技術人員參閱。