●章集合與邏輯
1.1集合
習題
1.2命題
習題
1.3邏輯等價
習題
1.4量詞與量詞語句
習題
1.5論證與推理規則
習題
1.6證明
習題
關繫與函數
2.1關繫
習題
2.2關繫的性質
習題
2.3等價關繫和偏序關繫
習題
2.4關繫矩陣
習題
2.5函數
習題
2.6序列和串
習題
第3章算法
3.1簡介
習題
3.2算法分析
習題
3.3遞歸算法
習題
第4章密碼與數論
4.1私鑰密碼學和公鑰密碼繫統
習題
4.2數論
習題
4.3RSA密碼繫統
習題
第5章計數
5.1加法原理與乘法原理
習題
5.2排列與組合
習題
5.3可重復的排列與組合
習題
5.4二項式繫數與組合恆等式
習題
第6章歸納法與遞推關繫
6.1歸納法
習題
6.2遞推關繫引例
習題
6.3階線性遞推關繫的求解
習題
6.4常繫數線性遞推關繫的求解
習題
……
第7章圖論
第8章樹
第9章網絡流與匹配
參考文獻
內容簡介
離散數學這門課程主要介紹離散數學各個分支的基本概念、基本理論和基本方法。通過該課程的訓練,可以提升學生的抽像思維能力和邏輯推理能力,並讓他們了解離散數學在計算機等學科中的作用,為以後從事相關工作和研究打下堅實基礎。本書較為繫統地介紹了計算機科學與技術等相關專業所必需的離散數學知識,全書共9章。章介紹集合與邏輯;第2章關繫與函數;第3章介紹算法;第4章介紹密碼與數論;第5章介紹計數,第6章介紹歸納法與遞推關繫;第7章介紹圖論;第8章介紹特殊的圖-樹;第9章介紹網絡流與匹配。各章之後配有適當難度的習題,便於學生課後練習。本書可以作為高等院校計算機科學與技術、軟件工程、通信工程等相關專業的教材,也可以作為考研學生及計算機工作者的參考書。