離散數學理論.分析.題解 內容簡介
離散數學是計算機科學重要的基礎理論之一，它也是培養學生縝密思維，提高學生素質的核心課程。在離散數學的教學中，解題方法起著特殊重要的作用，可以培養學生綜合分析和理論聯繫實際的能力。在離散數學的解題方法中，除了套用演繹法，分析法，枚舉法，歸納法等常用的方法以外，還往往套用反證法，歸謬法，對應法和構造法等一些現代數學的方法。編寫本書就是為了給學習離散數學的讀者，提供一些解題方法的指導，並給自學離散數學的讀者，在自己做完習題後有一個參考解答。
本書按章分類，每章分為三個部分：第一部分是理論，它是離散數學中相應章節的概括，也是解答習題所設計的課程範圍，相當於是一個詳細的複習提綱。第二部分是選題例解，主要提供了解題方法的分析，希望讀者通過能夠舉一反三，觸類旁通。第三部分是習題與解，除了《離散數學》（上海科學技術文獻出版社）一書的全部習題以外，還補充了很多增新知識，套用實踐的習題。
本書共收錄選題例題81道，習題647道。本書僅是教學參考資料，讀者務必先學習課程，獨立完成作業，再參閱解答，這樣才能體會深刻，事半功倍。
離散數學理論.分析.題解 本書目錄
第一章 命題邏輯A 內容提要
B 選題例解
C 習題與解
第二章 謂詞邏輯
A 內容提要
B 選題例解
C 習題與解
第三章 集合與關係
A 內容提要
B 選題例解
C 習題與解
第四章 函式
A 內容提要
B 選題例解
C 習題與解
第五章 代數結構
A 內容提要
B 選題例解
C 習題與解
第六章 格和布爾代數
A 內容提要
B 選題例解
C 習題與解
第七章 圖論
A 內容提要
B 選題例解
C 習題與解
第八章 形式語言與自動機
A 內容提要
B 選題例解
C 習題與解
第九章 糾錯碼初步
A 內容提要
B 選題例解
C 習題與解
參考文獻
