離散數(shù)學是現(xiàn)代數(shù)學的重要分支,通過離散數(shù)學的學習,學生能夠得到嚴格的邏輯推理與抽象思維能力的訓練,能夠掌握數(shù)理邏輯、集合論、圖論等知識。
《離散數(shù)學》主要分為三部分:數(shù)理邏輯、集合論和圖論。其中數(shù)理邏輯部分包括命題邏輯、謂詞邏輯兩章;集合論部分包括集合論和二元關(guān)系兩章。
《離散數(shù)學》適合作為普通高等學校計算機科學與技術(shù)、網(wǎng)絡工程及信息管理等專業(yè)教材,也可作為高職高專、成人高校相關(guān)專業(yè)教材。
第1章 緒論
1.1 什么是離散數(shù)學
1.2 離散數(shù)學的地位與作用
第2章 命題邏輯
2.1 命題與聯(lián)結(jié)詞
2.1.1 命題的概念
2.1.2 命題聯(lián)結(jié)詞
2.1.3 描述實際問題
2.2 命題公式及其賦值
2.2.1 命題公式
2.2.2 公式的解釋與真值表
2.2.3 命題公式的分類
2.3 等值演算
2.3.1 常用等值式
2.3.2 等值演算的應用
2.4 范式
2.4.1 范式的基本概念
2.4.2 主析取范式
2.4.3 主合取范式
2.4.4 主析取范式與主合取范式的意義
2.5 命題邏輯推理
2.5.1 命題邏輯推理的基本概念
2.5.2 命題邏輯推理規(guī)則
2.5.3 形式證明方法
2.5.4 命題邏輯推理應用
小結(jié)
習題
第3章 謂詞邏輯
3.1 謂詞邏輯概述
3.1.1 謂詞邏輯基本概念
3.1.2 描述實際問題
3.2 謂詞公式與解釋
3.2.1 謂詞的合式公式
3.2.2 自由變元和約束變元
3.2.3 謂詞公式的解釋
3.2.4 謂詞公式的分類
3.3 謂詞公式的等值演算
3.3.1 謂詞公式置換規(guī)則
3.3.2 變元換名規(guī)則
3.3.3 量詞等值式
3.3.4 謂詞公式的范式
3.4 謂詞推理
3.4.1 謂詞邏輯推理規(guī)則
3.4.2 謂詞邏輯推理常見問題
3.4.3 謂詞邏輯推理的應用
小結(jié)
習題
第4章 集合論
4.1 集合的表示和基本概念
4.1.1 集合與元素
4.1.2 集合的表示
4.1.3 集合的基本概念
4.2 集合的運算
4.3 集合的計數(shù)
4.3.1 有限集中元素的數(shù)量
4.3.2 容斥原理
4.3.3 鴿籠原理
小結(jié)
習題
第5章 二元關(guān)系
5.1 二元關(guān)系的基本概念
5.1.1 有序?qū)εc有序n元組
5.1.2 笛卡兒積
5.1.3 二元關(guān)系的定義
5.1.4 二元關(guān)系的表示
5.2 關(guān)系運算
5.2.1 關(guān)系的基本運算
5.2.2 關(guān)系運算相關(guān)定理
5.3 關(guān)系的性質(zhì)
5.3.1 關(guān)系的基本性質(zhì)
5.3.2 性質(zhì)的判斷方法
5.3.3 關(guān)系運算與關(guān)系的性質(zhì)
5.4 關(guān)系的閉包
5.4.1 關(guān)系閉包的概念
5.4.2 閉包運算方法
5.5 等價關(guān)系
5.5.1 等價關(guān)系的概念
5.5.2 等價類
5.5.3 集合的劃分
5.6 偏序關(guān)系
5.6.1 偏序關(guān)系的概念
5.6.2 哈斯圖
小結(jié)
習題
第6章 圖論
6.1 圖的基本概念
6.1.1 無向圖
6.1.2 有向圖
6.1.3 圖的矩陣表示
6.2 圖的連通性
6.2.1 無向圖的通路與回路
6.2.2 有向圖的通路與回路
6.3 特殊圖
6.3.1 歐拉圖
6.3.2 哈密頓圖
小結(jié)
習題
習題參考答案
參考文獻