離散數學 薛占熬 張豔 9787302651581 【台灣高等教育出版社】

圖書均為代購,正常情形下,訂後約兩周可抵台。
物品所在地:中國大陸
原出版社:清華大學
NT$381
商品編號:
供貨狀況: 尚有庫存

此商品參與的優惠活動

加入最愛
商品介紹
*完成訂單後正常情形下約兩周可抵台
*本賣場提供之資訊僅供參考,以到貨標的為正確資訊。
印行年月:202408*若逾兩年請先於私訊洽詢存貨情況,謝謝。
台灣(台北市)在地出版社,每筆交易均開具統一發票,祝您中獎最高1000萬元。
書名:離散數學
ISBN:9787302651581
出版社:清華大學
著編譯者:薛占熬 張豔
頁數:196
所在地:中國大陸 *此為代購商品
書號:1675579
可大量預訂,請先連絡。

內容簡介

離散數學是計算機科學的理論基礎,是計算機學科的核心課程,主要包括數理邏輯、集合論、代數結構和圖論等四個部分。本書分為7章,分別介紹離散數學的命題邏輯、謂詞邏輯、集合、關係、函數、圖論和特殊圖等的基本概念、基本理論和基本方法,並給出大量例題的講解和練習的實操,有助於提高讀者的概括抽象能力、邏輯思維能力、歸納構造能力和問題分析能力,從而培養讀者嚴謹、完整、規範的科學態度。 本書內容闡述上力求嚴謹、翔實,論述嚴格,語言精練,通俗易懂,可以作為普通高等學校計算機類、電子信息類專業「離散數學」課程的教材,也可以供從事相關工作的人員參考。

目錄

第1章 命題邏輯
1 1 命題符號化和聯結詞
1 1 1 否定
1 1 2 合取
1 1 3 析取
1 1 4 條件
1 1 5 雙條件
習題1-1
1 2 命題公式及等價公式
1 2 1 命題公式的概念
1 2 2 命題定律
1 2 3 等價置換
1 2 4 基本等價命題公式
習題1-2
1 3 重言式和蘊含式
1 3 1 重言式
1 3 2 蘊含式
1 3 3 蘊含的性質
習題1-3
1 4 其他聯結詞與最小聯結片語
1 4 1 其他聯結詞
1 4 2 最小聯結片語
習題1-4
1 5 對偶式與範式
1 5 1 對偶式
1 5 2 範式
習題1-5
1 6 命題邏輯推理理論
1 6 1 真值表法
1 6 2 直接證法
1 6 3 不相容
1 6 4 CP規則
習題1-6
1 7 命題邏輯的應用
1 7 1 電路設計
1 7 2 數學建模
1 7 3 演算法代碼
習題1-7
第2章 謂詞邏輯
2 1 謂詞與量詞
2 1 1 謂詞
2 1 2 量詞
習題2-1
2 2 謂詞合式公式
習題2-2
2 3 約束變元與自由變元
2 3 1 換名規則
2 3 2 代入規則
習題2-3
2 4 謂詞公式的等價式與蘊含式
2 4 1 命題公式的推廣
2 4 2 量詞轉化律
2 4 3 量詞作用域的擴張與收縮
2 4 4 謂詞公式的等價式和蘊含式
2 4 5 多個量詞的使用
習題2-4
2 5 謂詞公式的前束範式
習題2-5
2 6 謂詞邏輯的推理理論
2 6 1 規則
2 6 2 謂詞邏輯推理
習題2-6
第3章 集合
3 1 集合的基本概念和表示法
3 1 1 集合的表示方法
3 1 2 集合相等的概念
3 1 3 空集和全集
3 1 4 冪集
習題3-1
3 2 集合的運算
3 2 1 集合的交運算
3 2 2 集合的並運算
3 2 3 集合的補運算
3 2 4 集合的對稱差運算
習題3-2
3 3 包含排斥原理
習題3-3
第4章 關係
4 1 序偶與笛卡兒積
4 1 1 序偶
4 1 2 笛卡兒積
習題4-1
4 2 關係及其表示
4 2 1 關係的概念
4 2 2 關係矩陣
4 2 3 關係圖
習題4-2
4 3 關係的性質
習題4-3
4 4 關係的合成和逆
4 4 1 關係的合成
4 4 2 複合關係的矩陣構造
4 4 3 逆關係
習題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
4 8 關係的演算法
4 8 1 判斷關係R是否為自反關係或對稱關係
4 8 2 判斷關係R是否為傳遞關係
4 8 3 判斷關係R是否為等價關係
4 8 4 R等價類
4 8 5 關係的合成運算
4 8 6 自反和對稱的閉包運算
4 8 7 傳遞閉包運算
第5章 函數
5 1 函數的概念
5 1 1 函數的定義
5 1 2 函數的表示法
5 2 特殊函數
5 2 1 單射、滿射、雙射
5 2 2 特徵函數
5 2 3 隸屬函數
習題5-1、5-2
5 3 逆函數和複合函數
5 3 1 逆函數
5 3 2 複合函數
習題5-3
5 4 求滿射的演算法
第6章 圖論
6 1 圖的概念
6 1 1 圖的定義
6 1 2 結點的度數
6 1 3 簡單圖、完成圖、補圖
6 1 4 子圖
6 1 5 圖的運算
6 1 6 圖的同構
習題6-1
6 2 路與連通性
6 2 1 路的概念
6 2 2 圖的連通性
習題6-2
6 3 圖的矩陣表示
6 3 1 鄰接矩陣
6 3 2 可達矩陣
6 3 3 關聯矩陣
習題6-3
6 4 判別連通性的演算法
第7章 特殊圖
7 1 二部圖
習題7-1
7 2 平面圖與對偶圖
7 2 1 平面圖
7 2 2 對偶圖
習題7-2
7 3 平面圖的著色
7 3 1 平面圖的結點著色
7 3 2 平面圖的邊著色
習題7-3
7 4 歐拉圖與哈密頓圖
7 4 1 歐拉圖
7 4 2 哈密頓圖
習題7-4
7 5 樹與生成樹
7 5 1 樹
7 5 2 生成樹
7 5 3 帶權生成樹
習題7-5
7 6 有向樹與最優樹
7 6 1 有向樹
7 6 2 最優樹及其應用
習題7-6
7 7 圖的演算法
7 7 1 構造最優二叉樹演算法
7 7 2 最小生成樹的Kruskal演算法
7 7 3 求最短距離的Dijkstra演算法
參考文獻

詳細資料或其他書籍請至台灣高等教育出版社查詢,查後請於PChome商店街私訊告知ISBN或書號,我們即儘速上架。
規格說明
運送方式
已加入購物車
已更新購物車
網路異常,請重新整理