*完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考,以到貨標的為正確資訊。 印行年月:202308*若逾兩年請先於私訊洽詢存貨情況,謝謝。 台灣(台北市)在地出版社,每筆交易均開具統一發票,祝您中獎最高1000萬元。 書名:工科離散數學 (第2版) ISBN:9787121460296 出版社:電子工業 著編譯者:牛連強 頁數:208 所在地:中國大陸 *此為代購商品 書號:1556477 可大量預訂,請先連絡。 內容簡介 本書共8章,以數理邏輯為基礎,介紹命題邏輯、謂詞邏輯、集合論基礎、關係、函數、運算與代數系統、圖和初等數論基礎的相關內容,配套微課視頻、電子課件、知識導圖、部分習題解答等。 本書內容不求大求全,根據工程教育的要求,著重介紹有應用價值的理論,避免理論上的纏繞,內容講解通俗明了,同時還增加了相當數量的工程應用方面的簡介,使學習者能夠快速了解這些理論的實際工程用途。本書可作為高等學校計算機科學與技術、軟體工程、信息與計算科學以及其他信息領域相關專業離散數學課程的教材,也可供相關領域讀者自學使用。目錄 第1章 命題邏輯1 1 命題 思考與練習1 1 1 2 邏輯聯結詞 1 2 1 基本聯結詞 1 2 2 其他聯結詞 思考與練習1 2 1 3 命題公式與真值表 1 3 1 命題公式 1 3 2 真值表 思考與練習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 4 對偶原理 思考與練習1 5 1 6 範式 1 6 1 簡單的範式 1 6 2 小項與大項 1 6 3 主析取範式與主合取範式 思考與練習1 6 1 7 推理理論 1 7 1 蘊含與論證 1 7 2 自然推理系統 思考與練習1 7 第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 1 量詞對個體詞變元的作用 2 3 2 謂詞公式的解釋與求值 2 3 3 量詞與聯結詞的搭配 思考與練習2 3 2 4 謂詞公式的等價和蘊含 2 4 1 基本等價與蘊含關係 2 4 2 利用等價關係計算前束範式 思考與練習2 4 2 5 謂詞邏輯的推理理論 2 5 1 推理定律 2 5 2 量詞的消除與產生規則 2 5 3 謂詞邏輯的自然推理示例 思考與練習2 5 2 6 *數學證明初步 2 6 1 數學論題的描述 2 6 2 證明方法 2 6 3 證明策略 思考與練習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 3 3 集合運算的性質 3 3 1 集合算律與恆等變換 3 3 2 基於定義的運算性質驗證 思考與練習3 3 3 4 集合劃分和計數 3 4 1 集合的劃分與覆蓋 3 4 2 *集合計數的容斥原理 思考與練習3 4 3 5 序偶與笛卡兒積 3 5 1 序偶和元組 3 5 2 笛卡兒積 思考與練習3 5 第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 關係的冪 思考與練習4 2 4 3 關係的性質 4 3 1 自反與反自反關係 4 3 2 對稱與反對稱關係 4 3 3 傳遞關係 4 3 4 關係性質的等價描述與判定 思考與練習4 3 4 4 關係的閉包 4 4 1 閉包的概念 4 4 2 閉包計算 思考與練習4 4 4 5 等價關係 4 5 1 等價與相容 4 5 2 等價類 4 5 3 劃分與等價關係的對應 思考與練習4 5 4 6 序關係 4 6 1 體現部分序的偏序關係 4 6 2 哈斯圖 4 6 3 鏈與全序關係 4 6 4 偏序集的特殊元素 思考與練習4 6 第5章 函數 5 1 從關係到函數 5 1 1 函數的概念 5 1 2 函數集 5 1 3 函數的性質與特殊函數 思考與練習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 4 基數比較 思考與練習5 3 第6章 運算與代數系統 6 1 運算及其性質 6 1 1 運算的概念 6 1 2 二元運算的性質 思考與練習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 6 4 半群與獨異點 思考與練習6 4 6 5 群與子群 6 5 1 群的概念 6 5 2 群的性質 6 5 3 子群 思考與練習6 5 6 6 循環群與置換群 6 6 1 循環群 6 6 2 置換群 思考與練習6 6 6 7 群的陪集分解 6 7 1 陪集 6 7 2 拉格朗日定理 思考與練習6 7 6 8 環和域 6 8 1 環與整環 6 8 2 域 思考與練習6 8 6 9 格 6 9 1 格與其誘導的代數系統 6 9 2 子格 6 9 3 幾種特殊格 思考與練習6 9 6 10 布爾代數 6 10 1 布爾代數的定義 6 10 2 二值布爾代數 思考與練習6 10 第7章 圖 7 1 圖的基本概念 7 1 1 圖及其組成 7 1 2 結點的度與握手定理 7 1 3 完全圖 詳細資料或其他書籍請至台灣高等教育出版社查詢,查後請於PChome商店街私訊告知ISBN或書號,我們即儘速上架。 |