*完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考,以到貨標的為正確資訊。 印行年月:202403*若逾兩年請先於私訊洽詢存貨情況,謝謝。 台灣(台北市)在地出版社,每筆交易均開具統一發票,祝您中獎最高1000萬元。 書名:離散數學及應用 ISBN:9787121476396 出版社:電子工業 著編譯者:黃瑋 頁數:177 所在地:中國大陸 *此為代購商品 書號:1639743 可大量預訂,請先連絡。 內容簡介 本書以培養應用型人才為目標,圍繞離散數學作為與計算機相關的本科專業基礎課這一定位,強調知識與專業之間的聯繫。 本書內容分為數理邏輯、集合論、代數結構、圖論四個主要部分,包含命題邏輯、一階邏輯、集合論等內容。 本書可作為計算機科學與技術、軟體工程、智能科學與技術、物聯網工程、網路工程等專業離散數學課程的教材。目錄 第1章 命題邏輯1 1 命題與聯結詞 1 2 命題公式及其賦值 1 3 等值式 1 4 析取範式與合取範式 1 4 1 範式的基本概念 1 4 2 主範式及其表示 1 4 3 主範式的求解 1 4 4 主範式的數量 1 5 聯結詞的完備集 1 5 1 真值函數 1 5 2 聯結詞完備集 1 6 命題邏輯的推理理論 1 6 1 推理的基本概念 1 6 2 推理定律和推理規則 1 6 3 命題邏輯的推理方法 1 7 命題邏輯的應用 1 7 1 命題公式在計算機中的表示 1 7 2 程序優化 1 7 3 資源分配 1 7 4 計算機硬體電路設計 1 8 命題邏輯實驗 習題1 第2章 一階邏輯 2 1 一階邏輯的基本概念 2 2 一階邏輯公式及其解釋 2 2 1 一階邏輯公式的符號 2 2 2 一階邏輯公式的結構 2 2 3 量詞的轄域 2 2 4 公式的解釋 2 3 一階邏輯等值式及演算 2 4 一階邏輯前束範式 2 5 一階邏輯的推理理論 2 6 一階邏輯實驗 習題2 第3章 集合論 3 1 集合的基本概念 3 2 集合的基本運算 3 3 有限集的計數 3 4 集合論實驗 習題3 第4章 二元關係 4 1 有序對與笛卡兒積 4 2 二元關係的定義 4 3 關係的運算 4 4 關係的性質 4 4 1 性質的定義 4 4 2 性質的判定 4 5 關係的閉包 4 5 1 閉包的基本概念 4 5 2 閉包的性質 4 5 3 用WarShall演算法求傳遞閉包 4 6 等價關係 4 6 1 等價關係的概念 4 6 2 等價類 4 6 3 商集與劃分 4 7 偏序關係 4 7 1 偏序關係的概念 4 7 2 哈斯圖 4 7 3 偏序集中的特殊元素 4 7 4 偏序關係的應用 4 8 二元關係實驗 習題4 第5章 函數 5 1 函數的定義與性質 5 1 1 函數的定義 5 1 2 函數的性質 5 2 函數的複合與反函數 5 2 1 函數的複合 5 2 2 反函數 5 3 函數實驗 習題5 第6章 代數結構 6 1 運算及其性質 6 1 1 代數的構成 6 1 2 二元運算的性質 6 2 代數系統 6 3 半群與群 6 4 子群 6 5 代數結構實驗 習題6 第7章 特殊代數系統 7 1 環與域 7 2 格的定義與性質 7 2 1 格的定義 7 2 2 格的性質 7 2 3 特殊的格 7 3 布爾代數 7 4 布爾代數的應用 7 4 1 邏輯門電路 7 4 2 電路的極小化 7 5 特殊代數系統實驗 習題7 第8章 圖 8 1 圖的基本概念 8 1 1 圖的概念 8 1 2 握手定理 8 1 3 圖的同構 8 1 4 圖的運算 8 1 5 子圖與補圖 8 2 通路與迴路 8 3 圖的連通性 8 3 1 無向圖的連通性 8 3 2 有向圖的連通性 8 4 圖的矩陣表示 8 5 圖的實驗 習題8 第9章 特殊圖及其應用 9 1 歐拉圖 9 1 1 歐拉圖的概念 9 1 2 歐拉圖的判別法 9 2 漢密爾頓圖 9 3 平面圖 9 3 1 平面圖的基本定義 9 3 2 歐拉公式 9 3 3 歐拉公式的推廣 9 3 4 平面圖的判斷 9 4 圖的應用 9 4 1 最短路徑問題 9 4 2 中國郵遞員問題 9 5 特殊圖實驗 習題9 第10章 樹 10 1 無向樹 10 2 生成樹及應用 10 2 1 生成樹的基本概念 10 2 2 最小生成樹 10 3 根樹及應用 10 3 1 根樹的相關概念 10 3 2 最優二叉樹 10 3 3 樹的遍歷 10 4 樹的實驗 習題10 模擬卷A 模擬卷B 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢,查後請於PChome商店街私訊告知ISBN或書號,我們即儘速上架。 |