本書為浙江省一流課程“離散數(shù)學(xué)”配套教材、浙江省普通本科高校“十四五”重點立項建設(shè)教材。本書在注重離散數(shù)學(xué)體系的基礎(chǔ)上，強化證明思想和方法的介紹，在講解基本內(nèi)容及基本概念的時候盡可能結(jié)合實例，重視理論和方法的實用性。本書系統(tǒng)地介紹了計算機科學(xué)與技術(shù)等相關(guān)專業(yè)所必需的離散數(shù)學(xué)知識，全書共6章。第1章介紹命題及命題邏輯；第2章介紹謂詞邏輯及其推理理論；第3章介紹集合與關(guān)系的基本概念和性質(zhì)；第4章介紹函數(shù)；第5章介紹代數(shù)系統(tǒng)；第6章介紹圖論的基本概念及其性質(zhì)。