離散數學（簡體書）

離散數學是計算機科學的核心課程。郝林等編著的《離散數學》共分4 篇8章，分別介紹數理邏輯、集合論、圖論和代數系統四個專題。內容體系 嚴謹，敘述深入淺出，證明推演詳盡。在每一專題後，給出相關知識的應用 實例，并且在每一章後配有相當數量的習題。為便于學習，本書配有多媒體 課件及習題解答。 《離散數學》可作為高等院校計算機科學與技術專業及軟件工程專業的 教材，也可作為其他相關專業的教學用書，并可供計算機科研和工程技術人 員參考。

前言 第一篇 數理邏輯 第1章 命題邏輯 1.1 命題及命題聯結詞 1.2 命題公式及其類型 1.3 等價式與蘊涵式 1.4 對偶與范式 1.5 推理與證明 1.6 命題邏輯的應用 小結 習題一 第2章 謂詞邏輯 2.1 謂詞邏輯基本概念 2.2 謂詞公式及命題符號化 2.3 變元的約束 2.4 謂詞演算的等價式和蘊涵式 2.5 謂詞公式的范式 2.6 謂詞演算的推理理論 小結 習題二 第二篇 集合論 第3章 集合論基礎 3.1 集合的基本概念 3.2 集合的運算 3.3 集合的劃分與覆蓋 3.4 包含排斥原理 3.5 數學歸納法 3.6 集合的計算機表示 小結 習題三 第4章 二元關系 4.1 關系的概念 4.2 關系的性質 4.3 關系的運算 4.4 關系的閉包運算 4.5 等價關系和等價類 4.6 相容關系和相容類 4.7 序關系和哈斯圖 4.8 關系的應用 小結 習題四 第5章 函數 5.1 函數的概念 5.2 函數的運算 5.3 集合的基數 5.4 基數的比較 5.5 特征函數的應用 小結 習題五 第三篇 圖 論 第6章 圖論 6.1 圖的基本概念 6.2 路和圖的連通性 6.3 圖的矩陣表示 6.4 歐拉圖和哈密爾頓圖 6.5 平面圖及對偶圖 6.6 圖的著色 6.7 樹與生成樹 6.8 根樹及其應用 6.9最短路徑問題 6.1 0圖論的應用 小結 習題六 第四篇 代數系統 第7章 代數結構 7.1 代數系統的基本概念 7.2 半群與獨異點 7.3 群與子群 7.4 阿貝爾群與循環群 7.5 陪集與拉格朗日定理 7.6 同態與同構 7.7 環與域 小結 習題七 第8章 格與布爾代數 8.1 格 8.2 特殊格 8.3 布爾代數 8.4 布爾表達式 小結 習題八 參考文獻