離散數學

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