離散數(shù)學(xué)及其應(yīng)用（原書(shū)第8版·本科教學(xué)版）

出版者的話
改編者序
譯者序
前言
在線資源
致學(xué)生
作者簡(jiǎn)介
符號(hào)表
第1章 基礎(chǔ)：邏輯和證明
1．1 命題邏輯
1．1．1 引言
1．1．2 命題
1．1．3 條件語(yǔ)句
1．1．4 復(fù)合命題的真值表
1．1．5 邏輯運(yùn)算符的優(yōu)先級(jí)
1．1．6 邏輯運(yùn)算和比特運(yùn)算
奇數(shù)編號(hào)練習(xí)
1．2 命題邏輯的應(yīng)用
1．2．1 引言
1．2．2 語(yǔ)句翻譯
1．2．3 系統(tǒng)規(guī)范說(shuō)明
1．2．4 布爾搜索
1．2．5 邏輯謎題
1．2．6 邏輯電路
奇數(shù)編號(hào)練習(xí)
1．3 命題等價(jià)式
1．3．1 引言
1．3．2 邏輯等價(jià)式
1．3．3 德·摩根律的運(yùn)用
1．3．4 構(gòu)造新的邏輯等價(jià)式
1．3．5 可滿足性
1．3．6 可滿足性的應(yīng)用
1．3．7 可滿足性問(wèn)題求解
奇數(shù)編號(hào)練習(xí)
1．4 謂詞和量詞
1．4．1 引言
1．4．2 謂詞
1．4．3 量詞
1．4．4 有限域上的量詞
1．4．5 受限域的量詞
1．4．6 量詞的優(yōu)先級(jí)
1．4．7 變量綁定
1．4．8 涉及量詞的邏輯等價(jià)式
1．4．9 量化表達(dá)式的否定
1．4．10 語(yǔ)句到邏輯表達(dá)式的翻譯
1．4．11 系統(tǒng)規(guī)范說(shuō)明中量詞的使用
1．4．12 選自路易斯·卡羅爾的例子
1．4．13 邏輯程序設(shè)計(jì)
奇數(shù)編號(hào)練習(xí)
1．5 嵌套量詞
1．5．1 引言
1．5．2 理解涉及嵌套量詞的語(yǔ)句
1．5．3 量詞的順序
1．5．4 數(shù)學(xué)語(yǔ)句到嵌套量詞語(yǔ)句的翻譯
1．5．5 嵌套量詞到自然語(yǔ)言的翻譯
1．5．6 漢語(yǔ)語(yǔ)句到邏輯表達(dá)式的翻譯
1．5．7 嵌套量詞的否定
奇數(shù)編號(hào)練習(xí)
1．6 推理規(guī)則
1．6．1 引言
1．6．2 命題邏輯的有效論證
1．6．3 命題邏輯的推理規(guī)則
1．6．4 使用推理規(guī)則建立論證
1．6．5 消解律
1．6．6 謬誤
1．6．7 量化命題的推理規(guī)則
1．6．8 命題和量化命題推理規(guī)則的組合使用
奇數(shù)編號(hào)練習(xí)
1．7 證明導(dǎo)論
1．7．1 引言
1．7．2 一些專用術(shù)語(yǔ)
1．7．3 理解定理是如何陳述的
1．7．4 證明定理的方法
1．7．5 直接證明法
1．7．6 反證法
1．7．7 歸謬證明法
1．7．8 證明中的錯(cuò)誤
1．7．9 良好的開(kāi)端
奇數(shù)編號(hào)練習(xí)
1．8 證明的方法和策略
1．8．1 引言
1．8．2 窮舉證明法和分情形證明法
1．8．3 存在性證明
1．8．4 唯一性證明
1．8．5 證明策略
1．8．6 尋找反例
1．8．7 證明策略實(shí)踐
1．8．8 拼接
1．8．9 開(kāi)放問(wèn)題的作用
1．8．10 其他證明方法
奇數(shù)編號(hào)練習(xí)
章末資料（在線）
……
第2章 基本結(jié)構(gòu)：集合、函數(shù)、序列、求和與矩陣
第3章 計(jì)數(shù)
第4章 高級(jí)計(jì)數(shù)技術(shù)
第5章 關(guān)系
第6章 圖
第7章 樹(shù)
第8章 布爾代數(shù)
推薦讀物（在線）
參考文獻(xiàn)（在線）
奇數(shù)編號(hào)練習(xí)答案（在線）