《離散數學及其套用(第2版)》是由傅彥、顧小豐、王慶先、劉啟和共同編著,2013年由高等教育出版社出版的“十一五”國家級規劃教材。該教材既可作為高等學校計算機科學與技術專業離散數學課程教材,也可作為其他相關專業的離散數學課程教材。
該教材系統地介紹了數理邏輯與基本定理證明方法、二元關係、圖論、代數系統與布爾代數中有關的概念、定理及其證明方法,既注重對基本概念的描述,又注重闡述離散數學的證明方法及其在計算機科學中的實際套用。
基本介紹
- 書名:離散數學及其套用(第2版)
- 作者:傅彥、顧小豐、王慶先、劉啟和
- ISBN:978-7-04-037148-2
- 類別:“十一五”國家級規劃教材
- 頁數:492頁
- 出版社:高等教育出版社
- 出版時間:2013年6月3日
- 裝幀:平裝
- 開本:16開
- 版面字數:690千字
成書過程
內容簡介
教材目錄
前輔文 第1篇 預 備 知 識 引言 第1章 集合論 1.0 內容提要 1.1 學習要求 1.2 集合 1.3 無限集 1.4 集合的套用 1.5 本章總結 1.6 習題 第2章 計數問題 2.0 內容提要 2.1 學習要求 2.2 基本原理 2.3 排列與組合 2.4 容斥原理與鴿籠原理 2.5 本章總結 2.6 習題 第2篇 數 理 邏 輯 引言 第3章 命題邏輯 3.0 內容提要 3.1 學習要求 3.2 命題與命題聯結詞 3.3 命題公式、解釋與真值表 *3.4 聯結詞的完備集 3.5 公式的標準型——範式 3.6 命題邏輯的推理理論 3.7 本章總結 3.8 習題 第4章 謂詞邏輯 4.0 內容提要 4.1 學習要求 4.2 謂詞邏輯中的基本概念與表示 4.3 謂詞合式公式與解釋 4.4 公式的標準型——範式 4.5 謂詞邏輯的推理理論 4.6 本章總結 4.7 習題 第5章 證明技術 5.0 內容提要 5.1 學習要求 5.2 證明定理的方法 5.3 數學歸納法 5.4 按定義證明方法 5.5 本章總結 5.6 習題 第3篇 二 元 關 系 引言 第6章 二元關係 6.0 內容提要 6.1 學習要求 6.2 二元關係 6.3 關係的運算 6.4 關係的性質 6.5 關係的閉包運算 6.6 本章總結 6.7 習題 第7章 特殊關係 7.0 內容提要 7.1 學習要求 7.2 等價關係 7.3 次序關係 7.4 本章總結 7.5 習題 | 第8章 函式 8.0 內容提要 8.1 學習要求 8.2 函式 8.3 函式的運算 8.4 置換函式 8.5 本章總結 8.6 習題 第4篇 圖 論 引言 第9章 圖 9.0 內容提要 9.1 學習要求 9.2 圖的基本概念 9.3 通路、迴路與連通性 9.4 本章總結 9.5 習題 第10章 樹 10.0 內容提要 10.1 學習要求 10.2 樹 10.3 根樹 10.4 本章總結 10.5 習題 第11章 特殊圖 11.0 內容提要 11.1 學習要求 11.2 歐拉圖 11.3 哈密頓圖 11.4 偶圖 11.5 平面圖 11.6 本章總結 11.7 習題 第5篇 代 數 系 統 引言 第12章 代數系統 12.0 內容提要 12.1 學習要求 12.2 代數系統 12.3 代數系統的基本運算和性質 12.4 同態與同構 12.5 本章總結 12.6 習題 第13章 群 13.0 內容提要 13.1 學習要求 13.2 半群與含么半群 13.3 群及其性質 13.4 特殊群 13.5 陪集與拉格朗日定理 13.6 正規子群與商群 13.7 本章總結 13.8 習題 *第14章 環與域 14.0 內容提要 14.1 學習要求 14.2 環與域 14.3 本章總結 14.4 習題 第15章 格與布爾代數 15.0 內容提要 15.1 學習要求 15.2 格 15.3 布爾代數 15.4 本章總結 15.5 習題 參考文獻 |
教學資源
書名 | ISBN | 字數 | 頁數 |
---|---|---|---|
《離散數學實驗與習題解析》 | 978-7-04-022469-6 | 320千字 | 222頁 |
註:是由高等教育出版社出版,傅彥、王麗傑、尚明生、顧小豐主編 |