內容簡介

    本書是針對高等院校離散數學課程而編寫的教材。全書共9章，分為數理邏輯、集合論、代數繫統和圖論4個部分。主要內容包括命題邏輯、謂詞邏輯、集關繫、函數、代數結構、格和布爾代數、圖和樹。在編寫過程中，作者充分考慮初學者的學習特點，在章節內容編排、敘述表達、例題選擇、課後習題等方面做了精心設計，內容通俗易懂、簡明扼要，大部分理論概念都用實例說明並配有一定數量的習題。
    本書適合作為高等院校計算機、軟件工程、網絡工程、管理科學等專業的離散數學教材，也可作為計算機相關專業的自學參考書。