掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
應用離散數學-(第2版) 版權信息
- ISBN:9787115350275
- 條形碼:9787115350275 ; 978-7-115-35027-5
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
應用離散數學-(第2版) 本書特色
本書從應用的角度介紹離散數學。全書共分6章,分別是命題邏輯、謂詞邏輯、集合與關系、代數結構、圖和有向圖。全書體系嚴謹,敘述深入淺出,并配有大量與計算機科學相關的有實際背景的例題和習題。在每章*后增加了上機作業,可增強學生對課堂教學內容的理解和掌握,提高學生的學習興趣和動手能力。這對于學生學習、理解和應用離散數學理論有很大的幫助。 本書可作為普通高等學校計算機科學與技術或相關專業的本科生教材。
應用離散數學-(第2版) 內容簡介
從計算機應用的角度出發,講述離散數學理論在實際中的應用。
應用離散數學-(第2版) 目錄
第1章 命題邏輯
1.1 命題和邏輯連接詞
1.1.1 命題
1.1.2 邏輯連接詞與命題符號化
習題1.1
1.2 命題公式及其真值表
1.2.1 命題公式
1.2.2 真值表
習題1.2
1.3 命題公式的等價演算
習題1.3
1.4 命題公式的范式
1.4.1 析取范式與合取范式
1.4.2 標準析取范式和標準合取范式
1.4.3 利用真值表求解標準范式
1.4.4 標準析取范式和標準合取范式的關系
習題1.4
1.5 命題公式的推理演算
1.5.1 基本概念
1.5.2 演繹推理方法
1.5.3 附加前提法
習題1.5
1.6 邏輯門電路
1.6.1 門電路
1.6.2 邏輯電路設計
習題1.6
第1章上機練習
第2章 謂詞邏輯
2.1 個體詞、謂詞與量詞
2.1.1 個體詞與謂詞
2.1.2 量詞
習題2.1
2.2 謂詞公式及其解釋
2.2.1 謂詞公式
2.2.2 謂詞公式的解釋
習題2.2
2.3 謂詞公式的等價演算
習題2.3
2.4 謂詞公式的推理演算
2.4.1 基本概念
2.4.2 演繹推理方法
習題2.4
第2章上機練習
第3章 集合與關系
3.1 集合及其運算
3.1.1 基本概念
3.1.2 集合的運算
3.1.3 集合的計算機表示
習題3.1
3.2 二元關系及其運算
3.2.1 笛卡爾積
3.2.2 二元關系及其表示
3.2.3 二元關系的運算
習題3.2
3.3 二元關系的性質與閉包
3.3.1 二元關系的性質
3.3.2 二元關系的閉包
習題3.3
3.4 等價關系與劃分
習題3.4
3.5 偏序關系與拓撲排序
3.5.1 偏序關系
3.5.2 偏序集中的特殊元
3.5.3 拓撲排序
習題3.5
3.6 函數
3.6.1 基本概念
3.6.2 復合函數
3.6.3 逆函數
習題3.6
3.7 集合的等勢與基數
習題3.7
3.8 多元關系及其應用
3.8.1 多元關系
3.8.2 關系數據庫
3.8.3 數據庫的檢索
3.8.4 插入、刪除與修改
習題3.8
第3章上機練習
第4章 代數結構
4.1 代數運算
4.1.1 基本概念
4.1.2 二元運算的性質
4.1.3 二元運算中的特殊元
習題4.1
4.2 代數系統
習題4.2
4.3 群
4.3.1 基本概念
4.3.2 冪運算
4.3.3 群的性質
習題4.3
4.4 子群與陪集
4.4.1 子群
4.4.2 陪集
4.4.3 正規子群與商群
4.4.4 群同態與同構
習題4.4
4.5 循環群、置換群
4.5.1 循環群
4.5.2 置換群
習題4.5
4.6 環與域
4.6.1 環
4.6.2 整環與域
習題4.6
4.7 格與布爾代數
4.7.1 格
4.7.2 幾種特殊的格
4.7.3 布爾代數
習題4.7
第4章上機練習
第5章 圖
5.1 基本概念
5.1.1 圖的定義
5.1.2 頂點的度
習題5.1
5.2 圖的連通性
5.2.1 通路
5.2.2 連通圖
5.2.3 圖的矩陣表示
習題5.2
5.3 歐拉圖與哈密爾頓圖
5.3.1 歐拉圖
5.3.2 哈密爾頓圖
5.3.3 旅行商問題
習題5.3
5.4 *短通路
5.4.1 廣義優先搜索
5.4.2 dijkstra算法
5.4.3 中國郵遞員問題
習題5.4
5.5 樹
5.5.1 基本概念
5.5.2 生成樹
5.5.3 深度優先搜索
5.5.4 *小生成樹
習題5.5
5.6 平面圖及圖的著色
5.6.1 平面圖
5.6.2 圖的著色
習題5.6
第5章上機練習
第6章 有向圖
6.1 有向圖概述
6.1.1 基本概念
6.1.2 有向圖的連通性
6.1.3 有向圖的矩陣表示
習題6.1
6.2 根 樹
6.2.1 基本概念
6.2.2 二叉搜索樹
6.2.3 *優二叉樹
習題6.2
6.3 網絡流
6.3.1 基本概念
6.3.2 *大流算法
6.3.3 *大流*小割定理
習題6.3
6.4 匹配
習題6.4
第6章上機練習
參考文獻
1.1 命題和邏輯連接詞
1.1.1 命題
1.1.2 邏輯連接詞與命題符號化
習題1.1
1.2 命題公式及其真值表
1.2.1 命題公式
1.2.2 真值表
習題1.2
1.3 命題公式的等價演算
習題1.3
1.4 命題公式的范式
1.4.1 析取范式與合取范式
1.4.2 標準析取范式和標準合取范式
1.4.3 利用真值表求解標準范式
1.4.4 標準析取范式和標準合取范式的關系
習題1.4
1.5 命題公式的推理演算
1.5.1 基本概念
1.5.2 演繹推理方法
1.5.3 附加前提法
習題1.5
1.6 邏輯門電路
1.6.1 門電路
1.6.2 邏輯電路設計
習題1.6
第1章上機練習
第2章 謂詞邏輯
2.1 個體詞、謂詞與量詞
2.1.1 個體詞與謂詞
2.1.2 量詞
習題2.1
2.2 謂詞公式及其解釋
2.2.1 謂詞公式
2.2.2 謂詞公式的解釋
習題2.2
2.3 謂詞公式的等價演算
習題2.3
2.4 謂詞公式的推理演算
2.4.1 基本概念
2.4.2 演繹推理方法
習題2.4
第2章上機練習
第3章 集合與關系
3.1 集合及其運算
3.1.1 基本概念
3.1.2 集合的運算
3.1.3 集合的計算機表示
習題3.1
3.2 二元關系及其運算
3.2.1 笛卡爾積
3.2.2 二元關系及其表示
3.2.3 二元關系的運算
習題3.2
3.3 二元關系的性質與閉包
3.3.1 二元關系的性質
3.3.2 二元關系的閉包
習題3.3
3.4 等價關系與劃分
習題3.4
3.5 偏序關系與拓撲排序
3.5.1 偏序關系
3.5.2 偏序集中的特殊元
3.5.3 拓撲排序
習題3.5
3.6 函數
3.6.1 基本概念
3.6.2 復合函數
3.6.3 逆函數
習題3.6
3.7 集合的等勢與基數
習題3.7
3.8 多元關系及其應用
3.8.1 多元關系
3.8.2 關系數據庫
3.8.3 數據庫的檢索
3.8.4 插入、刪除與修改
習題3.8
第3章上機練習
第4章 代數結構
4.1 代數運算
4.1.1 基本概念
4.1.2 二元運算的性質
4.1.3 二元運算中的特殊元
習題4.1
4.2 代數系統
習題4.2
4.3 群
4.3.1 基本概念
4.3.2 冪運算
4.3.3 群的性質
習題4.3
4.4 子群與陪集
4.4.1 子群
4.4.2 陪集
4.4.3 正規子群與商群
4.4.4 群同態與同構
習題4.4
4.5 循環群、置換群
4.5.1 循環群
4.5.2 置換群
習題4.5
4.6 環與域
4.6.1 環
4.6.2 整環與域
習題4.6
4.7 格與布爾代數
4.7.1 格
4.7.2 幾種特殊的格
4.7.3 布爾代數
習題4.7
第4章上機練習
第5章 圖
5.1 基本概念
5.1.1 圖的定義
5.1.2 頂點的度
習題5.1
5.2 圖的連通性
5.2.1 通路
5.2.2 連通圖
5.2.3 圖的矩陣表示
習題5.2
5.3 歐拉圖與哈密爾頓圖
5.3.1 歐拉圖
5.3.2 哈密爾頓圖
5.3.3 旅行商問題
習題5.3
5.4 *短通路
5.4.1 廣義優先搜索
5.4.2 dijkstra算法
5.4.3 中國郵遞員問題
習題5.4
5.5 樹
5.5.1 基本概念
5.5.2 生成樹
5.5.3 深度優先搜索
5.5.4 *小生成樹
習題5.5
5.6 平面圖及圖的著色
5.6.1 平面圖
5.6.2 圖的著色
習題5.6
第5章上機練習
第6章 有向圖
6.1 有向圖概述
6.1.1 基本概念
6.1.2 有向圖的連通性
6.1.3 有向圖的矩陣表示
習題6.1
6.2 根 樹
6.2.1 基本概念
6.2.2 二叉搜索樹
6.2.3 *優二叉樹
習題6.2
6.3 網絡流
6.3.1 基本概念
6.3.2 *大流算法
6.3.3 *大流*小割定理
習題6.3
6.4 匹配
習題6.4
第6章上機練習
參考文獻
展開全部
書友推薦
- >
伊索寓言-世界文學名著典藏-全譯本
- >
巴金-再思錄
- >
我從未如此眷戀人間
- >
名家帶你讀魯迅:朝花夕拾
- >
史學評論
- >
龍榆生:詞曲概論/大家小書
- >
小考拉的故事-套裝共3冊
- >
月亮虎
本類暢銷