離散數學[機械工業出版社2013版-殷劍宏]

《離散數學》是 2013年 出版的圖書，作者是 殷劍宏。

遵循 適應性、科學性、系統性、發展性等基本原則，進行內容組織與布局。力求選材精練、闡述準確、行文優美、條理清晰、核心突出。本教材不僅是教和學的藍本，更是創新教學內容、改革教學方法、主導教學方向的體現，是人才培養過程中傳授知識、訓練技能和發展智力的重要工具之一。 (1)體系結構，靈活合理全書採用模組化結構分為五篇，各篇信息量大致均衡，且各篇之間既可相互獨立、自成體系，又可彼此聯繫、融會貫通。便於教師根據不同專業、不同學時、不同基礎的學生進行選講。方便學生很快入門，同時又為基礎好的學生設定足夠的拓展和提升空間。 (2)內容組織，深入淺出由命題邏輯的擴展潛移默化地導出謂詞邏輯；從一種特殊集合引出關係，又從一種特殊關係導出函式，再從一種特殊函式引出運算；從一種特殊偏序集導出格等等。在討論集合時，將其限於合適定義範圍內，採用經典集合論的原始描述，既不會導致悖論，且所得結論和公理化集合論中的結論完全一致，又避免展示公理化集合論的過於複雜性。在討論計數問題時，從基本的計數技術向高級計數技術慢慢推進，且反覆嘗試用不同的方法解同一個問題，從中展示不同計數技術解題的一般思路和方法，使學生不僅懂得了其深奧的道理，而且掌握了普遍的方法，對所學知識能廣泛遷移，隨機通達。大大降低了學習難度，節約了教學學時。 (3)重視學生能力培養，授人以漁強調命題翻譯和謂詞翻譯的技巧，強調邏輯推理，反覆訓練學生的形式思維和邏輯思維能力，是本書的一大亮點。巧妙導出關係是客觀事物間聯繫的一種數學抽象，而圖是客觀事物間聯繫的另一種數學抽象；強調不同代數結構間的相互聯繫；展示不同計數技術的數學模型，不斷訓練學生的抽象思維能力，是本書的另一特色。 (4)理論與套用有機結合由n元關係與關係資料庫的淵源，由等價關係的等價類來求解許多套用問題，將哈斯圖作為一種最基本的作業系統模型等角度，延伸關係的廣泛套用；用較大的篇幅闡述主合取範式與主析取範式、群、環、域、獨立集、匹配、著色、最短路問題、歐拉圖、哈密頓圖、樹、平面圖等的廣泛套用，且這些套用都真真切切地來自社會實踐，使學生自然而然地理解離散數學與其它學科之間千絲萬縷的聯繫，促進學生在充分體會理論與套用的結合點時，培養自己的探索興趣與套用能力，培養以後研究中運用離散數學理論知識的敏銳性。 (6)廣泛的課堂教學實踐不是為編教材而編教材，更不是臨時拼湊，而是十幾年課堂教學實踐所得。每個概念都闡述清晰、每個定理都證明透徹、每道例題和習題都精心設計、且書末附有詳細習題解答。同時，本教材還及時補充了哈斯圖的生成算法、超立方體的Laplace譜、生成排列的翻轉算法、生成組合的插入算法等新內容。

前言
符號注釋
第1篇數 理 邏 輯
第1章命題邏輯2
11命題2
12命題聯結詞4
13命題公式及其真值表7
14邏輯等價10
15蘊含與對偶14
16聯結詞的全功能集合17
17命題公式的範式21
18命題邏輯的推理理論30
第2章謂詞邏輯35
21個體與謂詞35
22命題函式與量詞36
23謂詞公式與約束變元39
24謂詞演算的等價式與蘊含式44
25謂詞演算的推理理論49
第2篇集合論
第3章集合與關係57
31集合的概念57
32集合的運算59
33序偶與笛卡兒積65
34關係及其表示68
35關係的性質71
36等價關係與劃分75
37相容關係與覆蓋80
38偏序關係83
39複合關係與逆關係89
310關係的閉包運算97
第4章函式105
41函式的基本概念105
42複合函式與逆函式108
43置換112
44可數集與不可數集120
第3篇抽 象 代 數
第5章群128
51運算及其性質128
52麼元、零元和逆元131
53群的基本概念135
54子群140
55子群的陪集143
56同態與同構149
57阿貝爾群與循環群155
58置換群161
第6章環與格168
61環168
62理想與特徵174
63格179
64分配格與有補格185
65布爾代數190
第4篇圖論
第7章圖的基本概念197
71圖的概念197
72路與連通205
73圖的矩陣表示212
74最短路問題218
75匹配225
第8章樹和平面圖236
81歐拉（Euler)圖與哈密頓（Hamilton)
圖236
82樹243
83生成樹249
84平面圖257
85圖的著色263
86超立方體的拉普拉斯（Laplace)譜268
第5篇組 合 數 學
第9章基本計數問題274
91基本計數原則274
92重集的計數280
93排列的生成算法285
94組合的生成算法293
95二項式係數299
96鴿巢原理306
第10章高級計數問題310
101生成函式310
102生成函式的套用316
103指數生成函式325
104遞歸的建立333
105常係數線性齊次遞推關係339
106常係數線性非齊次遞推關係344
107斐波那契（Fibonacci)數與卡特蘭
（Catalan)數347
108差分序列和斯特林（Stirling)數353
109容斥原理364
1010有禁區的排列與車多項式371
部分習題解答376
參考文獻446