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