離散數學（第二版）(2007年中國人民大學出版社出版的圖書)

內容簡介

《離散數學》(第1版)於1993年出版，該版教材發行至今已經10多年，由於需要增加專業基礎課程的強度，對第1版作了一系列的修改，增加了這本教材的廣度和深度。本教材仍然分為集合論、代數結構、數理邏輯和圖論四部分，但調整了全書的章節，並在集合論中增加了“形式語言”一章；在代數結構中增加了“群碼”一章；在數理邏輯中增加了“遞歸函式”一章；重新編寫了“圖論”共12章；其餘各章都作了必要的修改和錯誤校正。

圖書目錄

第一篇　集合論

第1章　集合

1.1　集合的基本概念

1.2　集合的運算

1.3　包含排斥原理

第2章　二元關係

2.1　關係

2.2　關係矩陣和關係圖

2.3　關係的運算

2.4　閉包運算相容關係

2.5　等價關係和

2.6　偏序關係

第3章　函式和運算

3.1　函式

3.2　運算

第4章　無限集合

4.1　基數

4.2　可列集

4.3　不可列集

4.4　基數的比較

第5章　形式語言

5.1　文法和語言

5.2　文法的類型

第二篇　代數結構

第1章　代數系統

1.1　代數系統的實例和一般性質

1.2　同態和同構

1.3　商代數與積代數

第2章　半群和群

2.1　半群和有么半群

2.2　群和循環群

2.3　二面體群、置換群

2.4　子群、群的同態

2.5　陪集、正規子群、商群

第3章　格和布爾代數

3.1　格

3.2　布爾代數

3.3　其他代數系統

第4章　群碼

4.1　通信模型和錯誤校正的基本概念

4.2　二進制編碼

4.3　解碼和錯誤校正

第三篇　數理邏輯

第1章　命題演算

1.1　命題和邏輯連線詞

1.2　合式公式

1.3　真值表、永真式

1.4　命題演算中的等價關係

1.5　邏輯連線詞的可省略性

1.6　範式

1.7　推理和證明方法

第2章　謂詞演算

2.1　謂詞

2.2　量詞

2.3　合式公式

2.4　合式公式的有效性

2.5　謂詞演算的等價公式

2.6　謂詞公式的範式

離散數學（第二版）(2007年中國人民大學出版社出版的圖書)

基本介紹

內容簡介

圖書目錄

熱門詞條