《離散數學及其在計算機中的套用》是2008年6月1日人民郵電出版社出版的一本圖書。本書主要介紹了離散數學的基礎理論、各個分支的聯繫以及在計算機中的套用。
基本介紹
- 書名：離散數學及其在計算機中的套用
- ISBN：9787115179968
- 頁數：423頁
- 出版社：人民郵電出版社
- 出版時間：第5版 (2008年6月1日)
- 開本：32
- 尺寸：20.2 x 13.8 x 1.6 cm
- 重量： 340 g
內容簡介,目錄,
內容簡介
《離散數學及其在計算機中的套用(第4次修訂)》系統地介紹了離散數學的基礎理論，闡述了各個分支之間的聯繫，還說明了它在計算機中的套用。主要內容包括：集合論、關係、映射和無限集、近世代數、圖論、命題邏輯、謂詞邏輯、命題邏輯和謂詞邏輯的公理化理論、離散數學在計算機中的套用。章末附有複習提綱及習題，書末附有各章習題解答。離散數學和計算機科學關係密切。
《離散數學及其在計算機中的套用(第4次修訂)》適合作為計算機及相關專業的學生和自學考試者的教材，也可供從事計算機和數學方面研究的科技工作者和教師學習參考。
目錄
第一章 集合論
1.1 集合和元素的概念
1.2 集合的子集
1.3 全集和空集
1.4 集合的運算、文氏圖
1.5 有限集合中的元素數目
習題一
第二章 關係的基本概念
2.1 關係的基本概念
2.2 關係的性質
2.3 關係的運算
2.4 關係的閉包運算
2.5 具有特定性質的關係
習題二
第三章 映射與無限集
3.1 映射
3.2 無限集
習題三
第四章 近世代數
4.1 代數運算
4.2 代數系統
4.3 同態和同構
4.4 半群和單元半域
4.5 群論
4.6 環、理想、整環和域
習題四
第五章 圖論
5.1 圖的基本概念
5.2 連通性
5.3 圖的矩陣表示
5.4 權圖、最小權通路和最小權迴路
5.5 二分圖
5.6 平面圖
5.7 四色圖
5.8 樹
5.9 有向圖
習題五
第六章 命題邏輯
6.1 命題與命題聯結詞
6.2 命題公式
6.3 重言式
6.4 範式
習題六
第七章 謂詞邏輯
7.1 謂詞邏輯的基本概念
7.2 謂詞邏輯公式及其基本永真公式
……
第八章 命題邏輯與謂詞邏輯的公理化理論
第九章 離散數學在計算機科學中的套用
習題解答
參考文獻
