基本信息

• 商品名稱：離散數學及其應用(高等學校計算機專業規劃教材)
• 作者：編者:金一慶///吳江琴//方敏
• 代碼：39
• 出版社：機械工業
• ISBN號：9787111520252

其他參考信息

• 出版時間：2016-01-01
• 印刷時間：2016-01-01
• 版次：1
• 印次：1
• 開本：16開
• 包裝：平裝
• 頁數：289

內容提要

金一慶、吳江琴、方敏編著的《離散數 學及其應用》建立在數學理論的基礎上，主要介紹數 理邏輯、集合論、組合論、圖論和群論等內容，注重 知識點之間的關聯性，既有一定深度又深入淺出，通 過大量實例和練習培養學生嚴謹的思維方法，通過算 法編程提高學生解決實際應用問題的能力。
     本書適合作為計算機及信息類相關專業本科“離 散數學”課程的教材，也可作為自學讀物或考研參考 書。
    

目錄

前言
**章 數理邏輯與推理基礎
1.1 命題邏輯
1.1.1 命題及其表示法
1.1.2 邏輯聯結詞
1.1.3 命題公式
1.1.4 命題等價定律
1.1.5 命題公式的範式
1.1.6 蘊涵關繫
1.1.7 推理
1.2 謂詞邏輯
1.2.1 謂詞的概念與謂詞公式
1.2.2 謂詞邏輯公式
1.2.3 量詞等價定律
1.2.4 謂詞公式的範式
1.2.5 謂詞邏輯的推理
1.3 歸納方法
1.3.1 數學歸納法的形式
1.3.2 數學歸納法的應用
第2章 集合與函數
2.1 集合的概念
2.2 集合的運算
2.3 笛卡兒積
2.4 函數
2.5 容斥原理
2.6 無限集的基數比較
2.7 與整數有關的函數及其應用
2.7.1 從R到Z的常用函數
2.7.2 從Z×Z到Z的常用函數
2.7.3 餘數函數
2.7.4 模與餘數的應用
2.7.5 整數的進制表示
第3關繫
3.關繫的概念
?3.關繫的運算
3.關繫的性質
3.4 等價關繫
3.4.1 等價關繫的概念
3.4.2 等價關繫的運算
3.4.3 等價關繫的運算與劃分的關繫
3.5 半序關繫
3.6 字典順序和拓撲排序
3.6.1 字典順序
3.6.2 拓撲排序
3.7 格與布爾代數
第4章 圖論基礎
4.1 圖的概念
4.1.1 圖的術語
4.1.2 圖的模型
4.2 道路與圖的連通性
4.3 圖的矩陣表示
4.4 加權圖中的*短道路問題
4.5 歐拉道路與哈密頓道路
4.5.1 歐拉道路與歐拉回路
4.5.2 歐拉定理的應用
4.5.3 哈密頓道路與哈密頓回路
4.5.4 哈密頓道路的應用
4.6 平面圖
4.7 圖的著色
4.8 樹
4.8.1 無向樹
4.8.2 有根樹
4.8.樹及其應用
4.8.4 生成樹
4.8.5 *小生成樹
第5章 組合數學基礎
5.1 鴿巢原理
5.2 計數與球盒模型
5.2.1 基本計數原理
5.2.2 典型計數問題
5.2.3 環形排列的CP數
5.3 遞推關繫
5.4 生成函數
5.4.1 生成函數的概念
5.4.2 用生成函數解遞推關繫
5.4.3 生成函數與計數
5.5 排列與組合的生成算法
第6章 代數繫統
6.1 代數繫統基礎
6.1.運算與代數繫統
6.1.運算的性質
6.1.3 代數
6.2 群
6.3 陪集及其應用
6.3.1 陪集與拉格朗日定理
6.3.2 群碼
6.4 同構與同態
6.5 環與域
6.5.1 環與域的概念
6.5.2 多項式環與循環碼
附錄A 自然數集與數學歸納法原理
附錄B 級數公式
參考文獻
參考答案