出版時間:2002-7 出版社:人民郵電出版社 作者:劉貴龍 編 頁數(shù):301
內容概要
離散數(shù)學是計算機科學與技術的基礎理論。本書系統(tǒng)地介紹了離散數(shù)學的基礎知識和基本理論。主要內容有:集合的基本概念、關系、集合的基數(shù)、命題邏輯、謂詞邏輯、代數(shù)結構格與布爾代數(shù)、圖的基本概念、樹與平面圖等。本書通俗易懂,并有較多的例子和習題便于自學。
本書是高等學校計算機專業(yè)、電子信息類專業(yè)本科生的教材,也可作為數(shù)學及基他專業(yè)的教材或教學參考書,適當刪簡后還可作為??苹虺扇私逃慕滩?。
書籍目錄
第一部分 集合論 1
第1章 集合的概念 2
1.1 集合及其表示法 2
1.2 子集與冪集 4
1.3 集合的基本運算 7
1.4 集合的運算性質 13
1.5 本章小結 19
第2章 二元關系 21
2.1 序偶與笛卡爾積 21
2.2 關系的概念 24
2.3 復合關系與逆關系 29
2.4 關系的性質 38
2.5 關系的閉包 42
2.6 等價關系 50
2.7 偏序關系 55
2.8 映射 60
2.9 復合映射與逆映射 64
2.10 本章小結 68
第3章 集合的基數(shù) 69
3.1 無窮集的概念 69
3.2 可數(shù)集與不可數(shù)集 72
3.3 集合的基數(shù)簡介 76
3.4 本章小結 78
第二部分 數(shù)理邏輯 79
第4章 命題邏輯 80
4.1 命題與聯(lián)結詞 80
4.2 公式與解釋 86
4.3 范式 96
4.4 公式恒真性的判定 106
4.5 公式的蘊涵 108
4.6 形式演繹 114
4.7 本章小結 119
第5章 謂詞邏輯 121
5.1 謂詞與量詞 121
5.2 公式與解釋 126
5.3 等價與蘊涵 131
5.4 前束范式 139
5.5 謂詞演算的演繹與推理 142
5.6 本章小結 148
第三部分 代數(shù)系統(tǒng) 151
第6章 代數(shù)結構 152
6.1 代數(shù)結構概述 152
6.2 置換 154
6.3 群 163
6.4 子群 169
6.5 陪集與正規(guī)子群 175
6.6 拉格朗日定理 178
6.7 群的同態(tài) 181
6.8 商群 185
6.9 同態(tài)定理 188
*6.10 環(huán) 191
6.11 本章小結 196
第7章 格與布爾代數(shù) 198
7.1 格的概念 198
7.2 有余格與分配格 205
7.3 布爾代數(shù) 211
7.4 本章小結 220
第四部分 圖論 223
第8章 圖的基本概念 224
8.1 圖的概念 224
8.2 路與回路 232
8.3 矩陣與圖 240
8.4 關系與圖 246
8.5 歐拉圖 248
8.6 哈密爾頓圖 254
8.7 二分圖 260
8.8 本章小結 268
第9章 樹與平面圖 269
9.1 樹的概念 269
9.2 生成樹與最優(yōu)支撐樹 275
9.3 有向樹與根樹 280
9.4 平面圖 290
9.5 本章小結 295
附錄 296
附錄1 本書所用的符號表 296
附錄2 索引(按筆劃多少為序) 298
參考文獻 301
離 散 數(shù) 學
圖書封面
評論、評分、閱讀與下載