離散數學

本書系統地介紹了數理邏輯、集合論、圖論和代數系統的核心內容，全書分為緒論、命題邏輯、謂詞邏輯、集合與計數、關係、次序關係與格、映射與無限集、圖論基礎、樹與根數、典型圖類、代數系統和典型代數系統等共12章．在各個部分內容前增加了其歷史進展，在介紹基礎理論的基礎上，還給出了部分具體應用和部分方法的演演算法實現．每節配有基礎練習題，每章配有精選自測試卷．

本書在內容安排上循序漸進、通俗易懂、結構嚴謹，注重授課和學習的可選擇化、抽象概念和理論的引入例子熟悉化、基本理論和方法的應用化、典型方法的演演算法化．本書可作為數學大類、計算機大類及相關學科專業的本、專科生的教材，也可供自學者、科技工作者和工程實踐者參考．