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