內容簡介
本書是《離散數學(第三版)》(耿素雲,屈婉玲,張立昂編著,清華大學出版社出版)一書的配套題解。
本書含6個部分:1、數理邏輯;2、集合論;3、代數結構;4、圖論;5、組合分析初步;6、形式語言和自動初步,每部分均包含三方面內容:(1)內容提要;(2)與本部分配套的習題;(3)習題解答,對每道題都做了較詳細的解答和分析,對某些題還給出了不同的解法或指出容易犯的錯誤及錯誤的原因。
本書可作為與配套的《離散數學》的輔助教材,也可以作為其他《離散數學》教材的參考書。
目錄
第1章命題邏輯
內容提要
習題
習題解答
第2章一階邏輯
內容提要
習題
習題解答
第3章集合的基本概念和運算
內容提要
習題
習題解答
第4章二元關係和函式
內容提要
習題
習題解答
第5章代數系統的一般性質
內容提要
習題
習題解答
第6章幾個典型的代數系統
內容提要
習題
習題解答
第7章圖的基本概念
內容提要
習題
習題解答
第8章一些特殊的圖
內容提要
習題
習題解答
第9章樹
內容提要
習題
習題解答
第10章組合分析初步
內容提要
習題
習題解答
第11章形式語言和自動機初步
內容提要
習題
習題解答