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