商品簡介
目次
相關商品
商品簡介
《離散數學(第2版)》是機械工業出版社2004年出版的《計算機科學中的離散結構》的新版教材。《離散數學(第2版)》涵蓋了經典“離散結構”或“離散數學”課程的主要內容,包括集合論基礎、邏輯代數、圖論基礎、關係與函數、抽象代數學基礎,并適度擴充了計算機科學中常用的組合論基礎知識,以及形式系統、形式推理、可計算性的基礎理論。
《離散數學(第2版)》內容既適合于對“離散數學”課程的教學內容有全面要求的院校,又可通過適當選材,有針對性地分別用于注重計算機科學理論或強調計算機應用技術的學科專業,具有內容系統全面、闡述淺顯易懂、編排合理新穎、習題編配豐富、使用靈活方便的特點。
《離散數學(第2版)》可作為高等院校計算機科學與技術專業及計算機軟件學院本科生、專科生的“離散數學”課程的教材,以及畢業生考研復習用書,也可作為計算機教育工作者、研究開發技術人員的參考讀物。
《離散數學(第2版)》內容既適合于對“離散數學”課程的教學內容有全面要求的院校,又可通過適當選材,有針對性地分別用于注重計算機科學理論或強調計算機應用技術的學科專業,具有內容系統全面、闡述淺顯易懂、編排合理新穎、習題編配豐富、使用靈活方便的特點。
《離散數學(第2版)》可作為高等院校計算機科學與技術專業及計算機軟件學院本科生、專科生的“離散數學”課程的教材,以及畢業生考研復習用書,也可作為計算機教育工作者、研究開發技術人員的參考讀物。
目次
出版說明
前言
第1章 集合代數
1.1 集合的概念與表示
1.1.1 集合及其元素
1.1.2 集合的表示
1.1.3 外延性公理與子集合
練習1.1
1.2 集合運算
1.2.1 并、交、差、補運算
1.2.2 冪集運算和廣義并、交運算
1.2.3 集合的笛卡兒積
練習1.2
1.3 集合的歸納定義的意義
1.3.1 集合的歸納定義
1.3.2 集合定義的自然數
練習1.3
第2章 兩個常用數學基本原理
2.1 歸納原理
2.1.1 結構歸納原理
2.1.2 數學歸納原理
練習2.1
2.2 鴿籠原理
2.2.1 鴿籠原理的基本形式
2.2.2 鴿籠原理的加強形式
練習2.2
第3章 組合論基礎計數
3.1 計數基本原理
3.1.1 加法原理和乘法原理
3.1.2 包含排斥原理
練習3.1
3.2 排列與組合
3.2.1 排列的計數
3.2.2 組合的計數
練習3.2
3.3 重集的排列與組合
3.3.1 重集的排列
3.3.2 重集的組合
3.3.3 禁位排列的計數
練習3.3
3.4 遞歸關係
3.4.1 一個重要的遞歸關係
3.4.2 遞歸關係的求解
練習3.4
第4章 邏輯代數(上):命題演算
4.1 命題與邏輯聯結詞
4.1.1 命題
4.1.2 邏輯聯結詞
4.1.3 命題公式
4.1.4 語句的形式化
練習4.1
4.2 邏輯等價式和邏輯蘊涵式
4.2.1 重言式
4.2.2 邏輯等價式和邏輯蘊涵式
4.2.3 對偶原理
練習4.2
4.3 范式
4.3.1 析取范式和合取范式
4.3.2 主析取范式與主合取范式
4.3.3 聯結詞的擴充與歸約
練習4.3
第5章 邏輯代數(下):謂詞演算
5.1 謂詞演算基本概念
5.1.1 個體與個體域
5.1.2 謂詞與謂詞填式
5.1.3 量詞及其轄域
5.1.4 謂詞公式及語句的形式化
練習5.1
5.2 謂詞演算永真式
5.2.1 謂詞公式的真值規定
5.2.2 謂詞演算永真式
5.2.3 關於永真式的幾個基本原理
練習5.2
5.3 謂詞公式的前束范式
練習5.3
第6章 形式系統與推理技術
6.1 謂詞演算形式系統FC
6.1.1 FC的基本構成
6.1.2 系統內的推理:證明與演繹
6.1.3 FC的重要性質
練習6.1
6.2 自然推理形式系統ND
6.2.1 ND的基本構成
6.2.2 ND的系統內推理及性質
練習6.2
第7章 圖
7.1 圖的基礎知識
7.1.1 圖的基本概念
7.1.2 結點的度
7.1.3 子圖、補圖及圖同構
練習7.1
7.2 路徑、回路及連通性
7.2.1 路徑與回路
7.2.2 連通性
7.2.3 連通度
練習7.2
7.3 歐拉圖與哈密頓圖
7.3.1 歐拉圖及歐拉路徑
7.3.2 哈密頓圖及哈密頓通路
練習7.3
7.4 圖的矩陣表示
7.4.1 鄰接矩陣
7.4.2 路徑矩陣與可達性矩陣
練習7.4
第8章 二分圖、平面圖和樹
8.1 二分圖
8.1.1 二分圖的基本概念
8.1.2 匹配
練習8.1
8.2 平面圖
8.2.1 平面圖的基本概念
8.2.2 歐拉公式和庫拉托夫斯基定理
8.2.3 著色問題
練習8.2
8.3 樹
8.3.1 樹的基本概念
8.3.2 生成樹
8.3.3 根樹
練習8.3
第9章 關係
9.1 關係
9.1.1 關係的基本概念
9.1.2 關係的基本運算
9.1.3 關係的基本特性
9.1.4 關係特性閉包
練習9.1
9.2 等價關係
9.2.1 等價關係與等價類
9.2.2 等價關係與劃分
練習9.2
9.3 序關係
9.3.1 序關係和有序集
9.3.2 良基性與良序集,完備序集
9.3.3 全序集與良序集的構造
練習9.3
第10章 函數
10.1 函數及函數的合成
10.1.1 函數的基本概念
10.1.2 函數概念的拓廣
10.1.3 函數的合成
10.1.4 函數的遞歸定義
練習10.1
10.2 特殊函數類
10.2.1 單射的、滿射的和雙射的函數
10.2.2 規範映射、單調映射和連續映射
練習10.2
10.3 函數的逆
練習10.3
10.4 有限集和無限集
10.4.1 有限集、可數集與不可數集
10.4.2 無限集的特性
10.4.3 有限集和無限集的基數
10.4.4 基數比較
練習10.4
第11章 遞歸函數集與可計算性
11.1 初等函數集
11.1.1 初等函數
11.1.2 初等謂詞
練習11.1
11.2 原始遞歸函數集
11.2.1 初等函數集的不足
11.2.2 原始遞歸式
11.2.3 原始遞歸函數
練習11.2
11.3 遞歸函數集
11.3.1 阿克曼函數及其性質
11.3.2 μ-遞歸式
11.3.3 遞歸函數集(μ-遞歸函數集)
練習11.3
11.4 圖靈機與可計算函數集
11.4.1 圖靈機
11.4.2 圖靈可計算函數
練習11.4
第12章 代數結構概論
12.1 代數結構
12.1.1 代數結構的意義
12.1.2 代數結構的特殊元素
12.1.3 子代數結構
練習12.1
12.2 同態、同構及同余
12.2.1 同態與同構
12.2.2 同余關係
練習12.2
12.3 商代數
練習12.3
第13章 群、環、域
13.1 半群
13.1.1 半群及獨異點
13.1.2 自由獨異點
13.1.3 高斯半群
練習13.1
13.2 群
13.2.1 群及其基本性質
13.2.2 子群、陪集和拉格朗日定理
13.2.3 正規子群、商群和同態
基本定理
練習13.2
13.3 循環群和置換群
13.3.1 循環群
13.3.2 置換群
練習13.3
13.4 環
13.4.1 環和整環
13.4.2 子環和理想
練習13.4
13.5 域和有限域
練習13.5
第14章 格與布爾代數
14.1 格
14.1.1 格——有序集
14.1.2 格代數
14.1.3 分配格和模格
練習14.1
14.2 布爾代數
14.2.1 有界格和有補格
14.2.2 布爾代數
14.2.3 布爾代數表示定理
14.2.4 布爾表達式與布爾函數
練習14.2
參考文獻
前言
第1章 集合代數
1.1 集合的概念與表示
1.1.1 集合及其元素
1.1.2 集合的表示
1.1.3 外延性公理與子集合
練習1.1
1.2 集合運算
1.2.1 并、交、差、補運算
1.2.2 冪集運算和廣義并、交運算
1.2.3 集合的笛卡兒積
練習1.2
1.3 集合的歸納定義的意義
1.3.1 集合的歸納定義
1.3.2 集合定義的自然數
練習1.3
第2章 兩個常用數學基本原理
2.1 歸納原理
2.1.1 結構歸納原理
2.1.2 數學歸納原理
練習2.1
2.2 鴿籠原理
2.2.1 鴿籠原理的基本形式
2.2.2 鴿籠原理的加強形式
練習2.2
第3章 組合論基礎計數
3.1 計數基本原理
3.1.1 加法原理和乘法原理
3.1.2 包含排斥原理
練習3.1
3.2 排列與組合
3.2.1 排列的計數
3.2.2 組合的計數
練習3.2
3.3 重集的排列與組合
3.3.1 重集的排列
3.3.2 重集的組合
3.3.3 禁位排列的計數
練習3.3
3.4 遞歸關係
3.4.1 一個重要的遞歸關係
3.4.2 遞歸關係的求解
練習3.4
第4章 邏輯代數(上):命題演算
4.1 命題與邏輯聯結詞
4.1.1 命題
4.1.2 邏輯聯結詞
4.1.3 命題公式
4.1.4 語句的形式化
練習4.1
4.2 邏輯等價式和邏輯蘊涵式
4.2.1 重言式
4.2.2 邏輯等價式和邏輯蘊涵式
4.2.3 對偶原理
練習4.2
4.3 范式
4.3.1 析取范式和合取范式
4.3.2 主析取范式與主合取范式
4.3.3 聯結詞的擴充與歸約
練習4.3
第5章 邏輯代數(下):謂詞演算
5.1 謂詞演算基本概念
5.1.1 個體與個體域
5.1.2 謂詞與謂詞填式
5.1.3 量詞及其轄域
5.1.4 謂詞公式及語句的形式化
練習5.1
5.2 謂詞演算永真式
5.2.1 謂詞公式的真值規定
5.2.2 謂詞演算永真式
5.2.3 關於永真式的幾個基本原理
練習5.2
5.3 謂詞公式的前束范式
練習5.3
第6章 形式系統與推理技術
6.1 謂詞演算形式系統FC
6.1.1 FC的基本構成
6.1.2 系統內的推理:證明與演繹
6.1.3 FC的重要性質
練習6.1
6.2 自然推理形式系統ND
6.2.1 ND的基本構成
6.2.2 ND的系統內推理及性質
練習6.2
第7章 圖
7.1 圖的基礎知識
7.1.1 圖的基本概念
7.1.2 結點的度
7.1.3 子圖、補圖及圖同構
練習7.1
7.2 路徑、回路及連通性
7.2.1 路徑與回路
7.2.2 連通性
7.2.3 連通度
練習7.2
7.3 歐拉圖與哈密頓圖
7.3.1 歐拉圖及歐拉路徑
7.3.2 哈密頓圖及哈密頓通路
練習7.3
7.4 圖的矩陣表示
7.4.1 鄰接矩陣
7.4.2 路徑矩陣與可達性矩陣
練習7.4
第8章 二分圖、平面圖和樹
8.1 二分圖
8.1.1 二分圖的基本概念
8.1.2 匹配
練習8.1
8.2 平面圖
8.2.1 平面圖的基本概念
8.2.2 歐拉公式和庫拉托夫斯基定理
8.2.3 著色問題
練習8.2
8.3 樹
8.3.1 樹的基本概念
8.3.2 生成樹
8.3.3 根樹
練習8.3
第9章 關係
9.1 關係
9.1.1 關係的基本概念
9.1.2 關係的基本運算
9.1.3 關係的基本特性
9.1.4 關係特性閉包
練習9.1
9.2 等價關係
9.2.1 等價關係與等價類
9.2.2 等價關係與劃分
練習9.2
9.3 序關係
9.3.1 序關係和有序集
9.3.2 良基性與良序集,完備序集
9.3.3 全序集與良序集的構造
練習9.3
第10章 函數
10.1 函數及函數的合成
10.1.1 函數的基本概念
10.1.2 函數概念的拓廣
10.1.3 函數的合成
10.1.4 函數的遞歸定義
練習10.1
10.2 特殊函數類
10.2.1 單射的、滿射的和雙射的函數
10.2.2 規範映射、單調映射和連續映射
練習10.2
10.3 函數的逆
練習10.3
10.4 有限集和無限集
10.4.1 有限集、可數集與不可數集
10.4.2 無限集的特性
10.4.3 有限集和無限集的基數
10.4.4 基數比較
練習10.4
第11章 遞歸函數集與可計算性
11.1 初等函數集
11.1.1 初等函數
11.1.2 初等謂詞
練習11.1
11.2 原始遞歸函數集
11.2.1 初等函數集的不足
11.2.2 原始遞歸式
11.2.3 原始遞歸函數
練習11.2
11.3 遞歸函數集
11.3.1 阿克曼函數及其性質
11.3.2 μ-遞歸式
11.3.3 遞歸函數集(μ-遞歸函數集)
練習11.3
11.4 圖靈機與可計算函數集
11.4.1 圖靈機
11.4.2 圖靈可計算函數
練習11.4
第12章 代數結構概論
12.1 代數結構
12.1.1 代數結構的意義
12.1.2 代數結構的特殊元素
12.1.3 子代數結構
練習12.1
12.2 同態、同構及同余
12.2.1 同態與同構
12.2.2 同余關係
練習12.2
12.3 商代數
練習12.3
第13章 群、環、域
13.1 半群
13.1.1 半群及獨異點
13.1.2 自由獨異點
13.1.3 高斯半群
練習13.1
13.2 群
13.2.1 群及其基本性質
13.2.2 子群、陪集和拉格朗日定理
13.2.3 正規子群、商群和同態
基本定理
練習13.2
13.3 循環群和置換群
13.3.1 循環群
13.3.2 置換群
練習13.3
13.4 環
13.4.1 環和整環
13.4.2 子環和理想
練習13.4
13.5 域和有限域
練習13.5
第14章 格與布爾代數
14.1 格
14.1.1 格——有序集
14.1.2 格代數
14.1.3 分配格和模格
練習14.1
14.2 布爾代數
14.2.1 有界格和有補格
14.2.2 布爾代數
14.2.3 布爾代數表示定理
14.2.4 布爾表達式與布爾函數
練習14.2
參考文獻
主題書展
更多
主題書展
更多書展今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。