本教材在中國礦業(yè)大學(xué)2020版課程質(zhì)量標(biāo)準(zhǔn)的指導(dǎo)下，結(jié)合專業(yè)需求和教學(xué)實(shí)際進(jìn)行選材和編撰，教材由四部分組成：集合論、代數(shù)系統(tǒng)、數(shù)理邏輯和圖論，共9章，依次為集合論基礎(chǔ)、關(guān)系、函數(shù)、代數(shù)系統(tǒng)、群、命題邏輯、謂詞邏輯、圖的基本概念、常用圖。本書包含較多針對性的例題，密切聯(lián)系專業(yè)應(yīng)用，強(qiáng)調(diào)抽象思維、計(jì)算思維和邏輯推理能力的培養(yǎng)。