離散數學是計算機科學基礎理論的核心課程，是高等院校計算機專業必修的重要的專業基礎課程。本書介紹了離散數學的基礎理論知識，全書共分11章：包括命題邏輯、謂詞邏輯、集合、關系、函數、集合基數、圖論、歐拉圖和哈密爾頓圖、特殊圖、代數系統、布爾代數等內容。
　　本書在內容上安排合理、體系嚴謹，敘述力求深入淺出、簡明扼要，書中配有典型例題和習題，并與計算機科學的理論和實踐緊密結合。
　　本書可作為高等院校計算機及其相關專業的教材，也可供從事計算機工作的科學技術人員以及其相關人事使用或參考。
　　本書電子教案可從中國水利水電出版社網站 http：//m.tuanma.com.cn/softdown/下載。