離散數(shù)學(xué)及其應(yīng)用（愿書(shū)第5版）

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