內容提要：
本書從算法和問題求解的角度介紹離散數學。
全書分為11章,內容包括邏輯與證明,集合、關係與函式,算法,排列組合、鴿籠原理、古典機率,遞歸關係,圖的基本概念,樹及其套用,網路模型,Boole代數與組合電路,自動機、文法和語言,計算幾何等。每一章包括要點、章節回顧、章節測試和上機練習。全書共有500個精選實例,3500個練習題,135個上機練習題,對於讀者學習、理解和套用離散數學理論有很大幫助。
本書適合作為高等院校計算機相關專業離散數學課程的教材,也適合讀者自學。
圖書目錄：
第1章 邏輯與證明 1
1.1 命題 1
本節複習 5
練習 5
1.2 條件命題與邏輯等價 7
本節複習 11
練習 11
1.3 量詞 13
本節複習 22
練習 22
1.4 證明 25
本節複習 30
練習 30
1.5 歸結證明 33
本節複習 35
練習 35
1.6 數學歸納法 36
本節複習 40
練習 40
問題求解:數學歸納法 44
注釋 46
本章複習 46
本章自測題 48
上機練習 49
第2章 數學語言 50
2.1 集合 50
本節複習 55
練習 56
2.2 序... [顯示全部]
