離散數學及其套用(2017年華中科技大學出版社出版的圖書)

本詞條是多義詞,共14個義項
更多義項 ▼ 收起列表 ▲

《離散數學及其套用》是2017年華中科技大學出版社出版的圖書。

基本介紹

  • 中文名:離散數學及其套用
  • 出版時間:2017年9月1日
  • 出版社:華中科技大學出版社
  • ISBN:9787568026918
內容簡介,圖書目錄,

內容簡介

全書系統地介紹了離散數學的四個部分共8章組成,其中第1~3章為集合論、第4~5章為數理邏輯、第6~7章為圖論、第8章為代數系統。各章分別介紹了離散數學的核心知識單元:集合、關係、函式、命題邏輯、謂詞邏輯、圖、特殊圖、代數系統中的群、環、域、格等,並且介紹了每章離散數學的知識單元在計算機與軟體系統中的套用,以及給出相關歷史背景發展的介紹,在各章之後配有適當難度的習題,便於學生在學完本章內容之後進行課後練習。本書可作為套用型高等院校的計算機、軟體工程、物聯網、信息管理等信息類學科專業離散數學教材,供不同層次的本、專科學生使用,也可以作為離散數學愛好者的自學參考書。

圖書目錄

第1章 集 合
1.1集合的基本概念
1.1.1集合的定義
1.1.2集合與元素的關係
1.1.3集合與集合的關係
1.1.4幾種特殊集合
1.1.5集合的基數
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集合在信息學科中的套用
本章總結
習題
興趣閱讀
第2章 關係
2.1關係的概念
2.1.1序偶
2.1.2 笛卡爾積
2.1.3關係的定義
2.1.4 關係的定義域與值域
2.1.5關係的表示方法
2.2 關係的運算
2.2.1關係的集合運算
2.2.2關係的逆運算
2.2.3關係的複合運算
2.2.4關係的冪運算
2.3 關係的性質
2.3.1自反性與反自反性
2.3.2對稱性與反對稱性
2.3.3傳遞性
2.4關係的閉包
2.5等價關係
2.5.1等價關係的定義
2.5.2 等價關係的劃分
2.6 偏序關係
2.6.1 偏序的定義及表示
2.6.2偏序關係的哈斯圖
2.6.3偏序關係的特殊元素
2.6.4 全序和良序。
2.7 關係的套用
本章總結
習題
興趣閱讀
第3章 函 數
3.1函式的定義與類型
3.1.1函式的定義
3.1.2函式的類型
3.2函式的運算
3.2.1函式的複合運算
3.2.2函式的逆運算
3.3 函式的套用
本章總結
習題
興趣閱讀
第4章 命題邏輯
4.1 命題與聯結詞
4.1.1 命題
4.1.2 聯結詞
4.1.3 語句的符號化
4.2 命題公式及其分類
4.2.1 命題公式與真值表
4.2.2 命題公式的分類
4.3 命題公式的等值
4.3.1 等值式
4.3.2 用真值表判斷公式的等值
4.3.3 等值演算
4.3.4 對偶式
4.3.5 等值演算的套用
4.4 範式
4.4.1 析取範式和合取範式
4.4.2 主析取範式與主合取範式
4.4.3 主範式的套用
4.5 推理理論
4.5.1 命題的蘊含關係
4.5.2 形式證明
4.6命題邏輯的套用
本章總結
習題
興趣閱讀
第5章 謂詞邏輯
5.1謂詞邏輯的基本概念
5.1.1 個體詞
5.1.2 謂詞
5.1.3 量詞
5.1.4 命題符號化
5.2 謂詞公式與類型
5.2.1 謂詞公式
5.2.2 謂詞公式的解釋
5.2.3 謂詞公式的類型
5.3 謂詞邏輯等值式
5.3.1 基本等值式
5.3.2 基本規則
5.3.3 等值演算
5.4 謂詞邏輯的前束範式
5.5 謂詞演算的推理規則
5.5.1 推理定律
5.5.2 推理規則
5.6 謂詞邏輯的套用
本章總結
習題
興趣閱讀
第6章 圖論
6.1圖的基本概念
6.1.1圖的定義
6.1.2鄰接與關聯
6.1.3頂點的度
6.1.4圖的分類
6.1.5圖的同構
6.2圖的連通性
6.2.1通路與迴路
6.2.2無向圖的連通性
6.3 圖的矩陣表示
6.3.1圖的關聯矩陣
6.3.2圖的鄰接矩陣
6.3.3 圖的可達矩陣
6.4圖的套用
本章總結
習題
興趣閱讀
第7章 特殊圖
7.1歐拉圖
7.2哈密頓圖
7.3 二部圖
7.4 樹
7.5特殊圖的套用
本章總結
習題
興趣閱讀
第8章 代數系統
8.1 代數系統的概念
8.1.1 代數運算
8.1.2 代數系統
8.2 代數運算的性質
8.2.1 基本性質
8.2.2 特殊元素
8.3 半群和群
8.3.1 半群
8.3.2 群
8.3.3 特殊群
8.4 環和域
8.4.1 環
8.4.2 域
8.5 格與布爾代數
8.5.1 格
8.5.2 幾種特殊格
8.5.3 布爾代數
8.6代數系統的套用
本章總結
習題
興趣閱讀
參考文獻

相關詞條

熱門詞條

聯絡我們