離散數學(第2版)
作 者: 定 價: 59
出?版?社: 科學出版社
出版日期: 2017年06月01日
頁 數: 274
裝 幀: 平裝
ISBN: 9787030535665
●前言
章 緒論 1
1.1 離散量與離散數學 1
1.2 離散數學的地位和作用 3
1.3 計算機為什麼要依賴數學 5
1.4 如何學好離散數學 5
第2章 命題邏輯 8
2.1 命題邏輯概述 8
2.2 命題及命題聯結詞 9
習題2.2 13
2.3 命題公式及其賦值 14
習題2.3 24
2.4 用命題公式描述實際問題 25
習題2.4 31
2.5 命題公式的等值演算 32
習題2.5 41
2.6 命題公式的範式 41
習題2.6 55
2.7 命題邏輯的推理理論 57
習題2.7 64
2.8 命題邏輯的歸結演繹推理 66
習題2.8 71
第3章 謂詞邏輯 72
3.1 謂詞邏輯概述 72
習題3.1 75
3.2 謂詞公式 76
習題3.2 79
3.3 用謂詞公式描述實際問題 80
習題3.3 90
3.4 謂詞公式的解釋 91
習題3.4 96
3.5 謂詞公式的等值演算 97
習題3.5 104
3.6 謂詞邏輯的自然演繹推理 105
習題3.6 109
第4章 集合論 112
4.1 集合的基本概念 112
習題4.1 115
4.2 集合運算 116
習題4.2 121
4.3 集合的包含關繫與恆等關繫 121
習題4.3 125
4.4 有窮集合的計數 126
習題4.4 131
4.關繫 131
習題4.5 160
4.6 函數與映射 163
習題4.6 167
第5章 代數繫統 169
5.1 代數運算 169
習題5.1 173
5.2 代數繫統 174
習題5.2 183
5.3 群 185
習題5.3 191
5.4 環與域 192
習題5.4 194
5.5 格 194
習題5.5 197
5.6 布爾代數 198
習題5.6 200
第6章 圖論 201
6.1 圖的基本概念 201
習題6.1 204
6.2 圖的連通性 205
習題6.2 208
6.3 圖的矩陣表示 210
習題6.3 212
6.4 有向圖 213
習題6.4 217
6.5 歐拉圖與哈密頓圖 218
習題6.5 224
6.6 帶權圖 225
習題6.6 229
6.7 樹 230
習題6.7 236
習題答案及提示 239
參考文獻 274
內容簡介
《離散數學(第二版)》共分6章,分別是緒論、命題邏輯、謂詞邏輯、集合論、代數繫統和圖論。主要內容包括離散量與離散數學、命題公式演算、命題邏輯的推理理論、歸結演繹推理、謂詞公式的解釋、謂詞公式演算、自然演繹推理、集合運算、集合計數、鴿籠原理、包含排除原理(容斥原理關繫、函數與映射、代數運算、同態、同構、群、群在編碼理論中的應用、布爾代數、圖的基本概念、圖的矩陣表示、有向圖、歐拉圖、哈密頓圖、帶權圖和樹。《離散數學(第二版)》設計為72學時,帶星號*的章節可視具體情況選講。
"