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