《離散數學及其套用（第3版）》是2019年高等教育出版社出版的圖書。
基本介紹
- 中文名：離散數學及其套用（第3版）
- 出版時間：2019年8月1日
- 出版社：高等教育出版社
- ISBN：9787040521528
內容簡介,圖書目錄,
內容簡介
《離散數學及其套用（第3版）》是國家精品課程“離散數學”的主講教材，也是教育部高等理工教育教學改革與實踐項目的研究成果。
《離散數學及其套用（第3版）》系統地介紹了數理邏輯與基本定理證明方法、二元關係、圖論、代數系統與布爾代數中有關的概念、定理及其證明方法，既注重對基本概念的描述，又注重闡述離散數學的證明方法及其在計算機科學中的實際套用，並以課程設計和實驗的方式給出大量的套用實例。
《離散數學及其套用（第3版）》可作為高等學校計算機科學與技術專業離散數學課程教材，也可作為其他相關專業的離散數學課程教材。
圖書目錄
第一篇 預置知識
引言
第1章 集合論
1．0 內容提要
1．1 學習要求
1．2 集合
1．2．1 集合的表示
1．2．2 集合與元素的關係
1．2．3 集合與集合的關係
1．2．4 幾個特殊的集合
1．2．5 集合的運算
1．2．6 集合的難點
1．3 無限集
1．3．1 可數集合和不可數集合
1．3．2 無限集的難點
1．4 集合的套用
1．5 本章總結
1．6 習題
第2章 計數問題
2．0 內容提要
2．1 學習要求
2．2 基本原理
2．2．1 乘法原理
2．2．2 加法原理
2．2．3 基本原理的難點
2．3 排列與組合
2．3．1 排列問題
2．3．2 組合問題
2．3．3 排列與組合的難點
2．4 容斥原理與鴿籠原理
2．4．1 容斥原理
2．4．2 鴿籠原理
2．4．3 容斥原理與鴿籠原理的難點
2．5 本章總結
2．6 習題
第二篇 數理邏輯
引言
第3章 命題邏輯
3．0 內容提要
3．1 學習要求
3．2 命題與命題聯結詞
3．2．1 命題
3．2．2 命題聯結詞
3．2．3 聯結詞的難點
3．2．4 命題聯結詞的套用
3．3 命題公式、解釋與真值表
3．3 1命題公式
3．3．2 命題公式的解釋與真值表
3．3．3 命題公式的分類
3．3．4 命題公式的基本等價關係
3．3．5 命題公式的難點
3．3．6 命題公式的套用
*3．4 聯結詞的完備集
3．4．1 命題聯結詞的種數
3．4．2 聯結詞的完備集
3．4．3 聯結詞的完備集的套用
3．5 公式的標準型——範式
3．5．1 析取範式和合取範式
3．5．2 主析取範式和主合取範式
3．5．3 範式的難點
3．5．4 範式的套用
3．6 命題邏輯的推理理論
3．6．1 推理的基本概念和推理形式
3．6．2 判斷有效結論的常用方法
3．6．3 命題邏輯推理的難點
3．6．4 命題邏輯推理的套用
3．7 本章總結
3．8 習題
第4章 謂詞邏輯
4．0 內容提要
4．1 學習要求
4．2 謂詞邏輯中的基本概念與表示
4．2．1 謂詞
4．2．2 量詞
4．2．3 謂詞的語言翻譯
4．2．4 謂詞翻譯的難點
4．2．5 謂詞翻譯的套用
4．3 謂詞合式公式與解釋
4．3．1 謂詞的合式公式
4．3．2 自由變元和約束變元
4．3．3 謂詞合式公式的解釋
4．3．4 謂詞合式公式的分類
4．3．5 謂詞合式公式的基本等價關係
4．3．6 謂詞合式公式的難點
4．3．7 謂詞合式公式的套用
4．4 公式的標準型——範式
……
第三篇 二元關係
第四篇 圖論
第五篇 代數系統
參考文獻
