定 價(jià)：22 元
叢書名：普通高等學(xué)校“十三五”規(guī)劃教材
- 作者：鄒麗娜，丁茜，羅旭 編
- 出版時(shí)間：2016/2/1
- ISBN：9787113213176
- 出 版 社：中國鐵道出版社
- 中圖法分類：O158
- 頁碼：135
- 紙張：膠版紙
- 版次：1
- 開本：16開
離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的重要分支，通過離散數(shù)學(xué)的學(xué)習(xí)，學(xué)生能夠得到嚴(yán)格的邏輯推理與抽象思維能力的訓(xùn)練，能夠掌握數(shù)理邏輯、集合論、圖論等知識(shí)。
《離散數(shù)學(xué)》主要分為三部分：數(shù)理邏輯、集合論和圖論。其中數(shù)理邏輯部分包括命題邏輯、謂詞邏輯兩章；集合論部分包括集合論和二元關(guān)系兩章。
《離散數(shù)學(xué)》適合作為普通高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)、網(wǎng)絡(luò)工程及信息管理等專業(yè)教材，也可作為高職高專、成人高校相關(guān)專業(yè)教材。
第1章 緒論
1．1 什么是離散數(shù)學(xué)
1．2 離散數(shù)學(xué)的地位與作用
第2章 命題邏輯
2．1 命題與聯(lián)結(jié)詞
2．1．1 命題的概念
2．1．2 命題聯(lián)結(jié)詞
2．1．3 描述實(shí)際問題
2．2 命題公式及其賦值
2．2．1 命題公式
2．2．2 公式的解釋與真值表
2．2．3 命題公式的分類
2．3 等值演算
2．3．1 常用等值式
2．3．2 等值演算的應(yīng)用
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 命題邏輯推理應(yīng)用
小結(jié)
習(xí)題
第3章 謂詞邏輯
3．1 謂詞邏輯概述
3．1．1 謂詞邏輯基本概念
3．1．2 描述實(shí)際問題
3．2 謂詞公式與解釋
3．2．1 謂詞的合式公式
3．2．2 自由變?cè)图s束變?cè)?br>3．2．3 謂詞公式的解釋
3．2．4 謂詞公式的分類
3．3 謂詞公式的等值演算
3．3．1 謂詞公式置換規(guī)則
3．3．2 變?cè)獡Q名規(guī)則
3．3．3 量詞等值式
3．3．4 謂詞公式的范式
3．4 謂詞推理
3．4．1 謂詞邏輯推理規(guī)則
3．4．2 謂詞邏輯推理常見問題
3．4．3 謂詞邏輯推理的應(yīng)用
小結(jié)
習(xí)題
第4章 集合論
4．1 集合的表示和基本概念
4．1．1 集合與元素
4．1．2 集合的表示
4．1．3 集合的基本概念
4．2 集合的運(yùn)算
4．3 集合的計(jì)數(shù)
4．3．1 有限集中元素的數(shù)量
4．3．2 容斥原理
4．3．3 鴿籠原理
小結(jié)
習(xí)題
第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)系運(yùn)算
5．2．1 關(guān)系的基本運(yùn)算
5．2．2 關(guān)系運(yùn)算相關(guān)定理
5．3 關(guān)系的性質(zhì)
5．3．1 關(guān)系的基本性質(zhì)
5．3．2 性質(zhì)的判斷方法
5．3．3 關(guān)系運(yùn)算與關(guān)系的性質(zhì)
5．4 關(guān)系的閉包
5．4．1 關(guān)系閉包的概念
5．4．2 閉包運(yùn)算方法
5．5 等價(jià)關(guān)系
5．5．1 等價(jià)關(guān)系的概念
5．5．2 等價(jià)類
5．5．3 集合的劃分
5．6 偏序關(guān)系
5．6．1 偏序關(guān)系的概念
5．6．2 哈斯圖
小結(jié)
習(xí)題
第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é)
習(xí)題
習(xí)題參考答案
參考文獻(xiàn)
書單推薦
