離散數學及其應用（愿書第5版）

出版者的話
專家指導委員會
作者介紹
前言
第1章　基礎：邏輯和證明、集合、函數
　1.1　邏輯
　　1.1.1　引言
　　1.1.2　命題
　　1.1.3　蘊含
　　1.1.4　邏輯運算符的優(yōu)先級
　　1.1.5　翻譯語言的句子
　　1.1.6　系統(tǒng)規(guī)范說明
　　1.1.7　布爾檢索
　　1.1.8　邏輯難題
　　1.1.9　邏輯運算和位運算
　　練習
　1.2　命題等價
　　1.2.1　引言
　　1.2.2　邏輯等價
　　練習
　1.3　謂詞和量詞
　　1.3.1　引言
　　1.3.2　量詞
　　1.3.3　綁定變量
　　1.3.4　否定
　　1.3.5　翻譯語句為邏輯表達式
　　1.3.6　選自Lewis Carroll的例子
　　1.3.7　邏輯程序設計
　　練習
　1.4　嵌套量詞
　　1.4.1　引言
　　1.4.2　翻譯涉及嵌套量詞的語句
　　1.4.3　將語句翻譯成邏輯表達式
　　1.4.4　否定嵌套量詞
　　1.4.5　量詞的順序
　　練習
　1.5　證明方法
　　1.5.1　引言
　　1.5.2　推理規(guī)則
　　1.5.3　有效的論證
　　1.5.4　消解
　　1.5.5　謬誤
　　1.5.6　帶量詞命題的推理規(guī)則
　　1.5.7　證明定理的方法
　　1.5.8　定理與量詞
　　1.5.9　證明中的錯誤
　　1.5.10　關于證明的一些評注
　　練習
　1.6　集合
　　1.6.1　引言
　　1.6.2　冪集合
　　1.6.3　笛卡兒積
　　1.6.4　使用帶量詞的集合符號
　　練習
　1.7　集合運算
　　1.7.1　引言
　　1.7.2　集合恒等式
　　1.7.3　擴展的并集和交集
　　1.7.4　計算機表示集合的方式
　　練習
　1.8　函數
　　1.8.1　引言
　　1.8.2　一對一函數和映上函數
　　1.8.3　反函數和函數組合
　　1.8.4　函數的圖像
　　1.8.5　幾個重要的函數
　　練習
　關鍵術語和結果
　復習題
　補充練習
　計算機題目
　計算和研究
　寫作題目
第2章　基礎：算法、整數和矩陣
第3章　數學推理、歸納與遞歸
第4章　計數
第5章　離散概率
第6章　高級計數技術
第7章　關系
第8章　圖
第9章　樹
第10章　布爾代數
第11章　計算模型
附錄A　指數函數和對數函數
附錄B　偽代碼
奇數練習題答案
推薦讀物
參考文獻