*完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考,以到貨標的為正確資訊。 印行年月:202306*若逾兩年請先於私訊洽詢存貨情況,謝謝。 台灣(台北市)在地出版社,每筆交易均開具統一發票,祝您中獎最高1000萬元。 書名:離散數學 (第二版) ISBN:9787562556701 出版社:中國地質大學 著編譯者:蔡之華 薛思清 頁數:312 所在地:中國大陸 *此為代購商品 書號:1584034 可大量預訂,請先連絡。 內容簡介 本教材重點介紹離散結構的構造、性質及其相關推理證明方法,面向計算機的現代數學觀點與方法。本教材從表達、理論、工程應用幾個層面設計主要內容,注重培養學生的抽象思維能力、邏輯推理能力,注重將數理邏輯、集合論、組合計數、抽象代數以及圖論的發展歷程中的相關思想、方法融入有關問題的探討過程中,引導學生應用有關離散結構表達計算機科學相關理論與工程應用問題,理解抽象、理論與設計計算機科學的3個學科形態。目錄 第1章 命題邏輯1 0 命題邏輯導學 1 1 命題的形式化表示 1 1 1 命題與命題的形式化 1 1 2 命題聯結詞與真值表 1 2 命題公式及分類 1 2 1 命題公式 1 2 2 命題公式的分類 1 3 命題公式的等值演算 1 3 1 等值式 1 3 2 等位演算 1 4 命題邏輯範式 1 4 1 析取範式與合取範式 1 4 2 主析取範式與主合取範式 1 5 聯結詞的完備集 1 6 命題邏輯推理 1 6 1 推理形式 1 6 2 推理規則 1 6 3 推理定律 1 6 4 推理方法 小結 研討與實踐 習題 第2章 謂詞邏輯 2 0 謂詞邏輯導學 2 1 謂詞邏輯的表示 2 1 1 個體 2 1 2 謂詞 2 1 3 量詞 2 2 謂詞公式與解釋 2 2 1 謂詞公式 2 2 2 自由變元與約束變元 2 2 3 謂詞公式的解釋 2 3 謂詞公式等值演算 2 3 1 謂詞公式等值 2 3 2 常用等值式及等值演算 2 4 謂詞公式的範式 2 4 1 前束範式 2 4 2 司柯倫範式 2 5 謂詞邏輯推理 2 5 1 推理定律 2 5 2 推理規則 2 5 3 推理方法 2 6 歸結推理 2 6 1 子句與子句集 2 6 2 歸結原理 小結 研討與實踐 習題 第3章 集合與關係 3 O 本章導學 3 1 集合的基本概念 3 1 1 集合的表示方法 3 1 2 集合與元素的關係 3 1 3 集合間的關係 3 1 4 冪集 3 2 集合的運算 3 2 1 集合運算的定義 3 2 2 集合運算定律 3 3 笛卡兒積 3 3 1 笛卡兒積與有序元組 3 3 2 笛卡兒積的性質 3 4 關係及其表示 3 4 1 關係的基本概念 3 4 2 關係的表示方法 3 5 關係的性質 3 6 關係的運算 3 6 1 複合關係 3 6 2 逆關係 3 6 3 關係的閉包 小結 研討與實踐 習題 第4章 特殊關係 4 0 本章導學 4 1 等價關係 4 1 1 等價關係及判定 4 1 2 覆蓋與分划 4 1 3 等價類與商集 4 2 序關係 4 2 1 偏序關係 4 2 2 全序和良序 4 2 3 擬序關係 4 3 函 數 4 3 1 函數的基本概念 4 3 2 函數的性質 4 3 3 函數的運算 4 3 4 集合的基數 4 3 5 特徵函數與模糊集 小結 研討與實踐 習題 第5章 組合計數 5 O 本章導學 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 2 4 容斥原理應用舉例 5 3 1 遞推關係 5 3 2 母函數 5 3 3 母函數與計數問題 小結 研討與實踐 習題 第6章 代數結構 6 0 本章導學 6 1 代數結構及其性質 6 1 1 代數運算 6 1 2 特殊元素 6 1 3 代數結構 6 1 4 半群 6 2 同態與同構 6 2 1 同態與同構的定義 6 2 2 同態與同構的性質 6 3 同余與商代數 6 3 1 同余與商代數 6 3 -2 同態基本定理 小結 研討與實踐 習題 第7章 群 7 0 本章導學 7 1 從組合計數問題到群 7 2 群及其性質 7 2 1 群的定義 7 2 2 群的基本性質 7 2 3 群中元素的階 7 3 子群 7 4 循環群 7 5 置換群 7 5 1 置換群 7 5 2 伯恩賽德定理 霸舅裹夏亨五窺子群與群同態基本定理 7 7 1 正規子群 7 7 2 商群 7 7 3 群同態基本定理 小結 研討與實踐 習題 第8章 格與布爾代數 8 O本章導學 8 1 組合電路與布爾代數 8 2 格 8 2 1 格及其性質 8 2 2 格是一種代數結構 8 3 布爾代數 8 3 1 分配格與有補格 8 3 2 布爾代數 8 3 3 有限布爾代數的表示理論 8 4 布爾表達式與布爾函數 8 5 布爾代數的同態與同構 小結 研討與實踐 習題 第9章 圖 9 O本章導學 9 1 從七橋問題到歐拉圖 9 2 圖基本概念 9 2 1 圖的基本術語 9 2 2 子圖、完全圖、二分圖 9 2 3 圖的同構 9 3 圖的運算 9 3 1 基本運算 9 3 2 補運算 9 3 3 笛卡兒積 9 3 4 超立方體 9 3 5 網格 9 4 圖的連通性 9 4 1 路徑 9 4 2 圖的連通性 9 4 3 連通度 9 5 圖的表示 9 6 歐拉圖 9 7 哈密爾頓圖 小結 研討與實踐 習題 第10章 特殊圖 10 0 本章導學 10 1 樹 10 1 1 樹及其性質 10 1 2 生成樹 lO 1 3 有向樹 10 2 F面圖 10 2 1 平面圖及其性質 10 2 2 平面圖的判定 10 3 圖的著色 10 4 二分圖與匹配 10 4 1 分圖 10 4 2 分圖的匹配 小結 研討與實踐 習題 主要參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢,查後請於PChome商店街私訊告知ISBN或書號,我們即儘速上架。 |