離散數學及其應用 原書第7版 本科教學版 中文版 計算機科學叢書 pdf epub mobi txt 電子書 下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

圖書標籤:

• 離散數學
• 數學
• 計算機科學
• 算法
• 數據結構
• 邏輯
• 集閤論
• 圖論
• 組閤數學
• 本科教材

店鋪： 華心圖書專營店

齣版社： 機械工業齣版社

ISBN：9787111555391

商品編碼：26798319692

Discrete Mathematics and Its Applications,7E 

齣版者的話 

改編者序 

譯者序 

前言 

配套網站 

緻學生 

關於作者 

符號錶 

dy 章 基礎：邏輯和證明1 

1.1 命題邏輯1 

1.1.1 引言1 

1.1.2 命題1 

1.1.3 條件語句4 

1.1.4 復閤命題的真值錶7 

1.1.5 邏輯運算符的優先級7 

1.1.6 邏輯運算和位運算7 

練習8 

1.2 命題邏輯的應用11 

1.2.1 引言11 

1.2.2 語句翻譯11 

1.2.3 係統規範說明12 

1.2.4 布爾搜索12 

1.2.5 邏輯謎題13 

1.2.6 邏輯電路14 

練習15 

1.3 命題等價式16 

1.3.1 引言16 

1.3.2 邏輯等價式17 

1.3.3 德·摩根律的運用19 

1.3.4 構造新的邏輯等價式19 

1.3.5 命題的可滿足性20 

1.3.6 可滿足性的應用20 

1.3.7 可滿足性問題求解22 

練習22 

1.4 謂詞和量詞24 

1.4.1 引言24 

1.4.2 謂詞24 

1.4.3 量詞25 

1.4.4 約束論域的量詞28 

1.4.5 量詞的優先級29 

1.4.6 變量綁定29 

1.4.7 涉及量詞的邏輯等價式29 

1.4.8 量化錶達式的否定30 

1.4.9 語句到邏輯錶達式的翻譯31 

1.4.10 係統規範說明中量詞的使用32 

1.4.11 選自路易斯·卡羅爾的例子33 

1.4.12 邏輯程序設計33 

練習34 

1.5 嵌套量詞37 

1.5.1 引言37 

1.5.2 理解涉及嵌套量詞的語句37 

1.5.3 量詞的順序38 

1.5.4 數學語句到嵌套量詞語句的翻譯39 

1.5.5 嵌套量詞到自然語言的翻譯40 

1.5.6 漢語語句到邏輯錶達式的翻譯40 

1.5.7 嵌套量詞的否定41 

練習42 

1.6 推理規則45 

1.6.1 引言45 

1.6.2 命題邏輯的有效論證45 

1.6.3 命題邏輯的推理規則46 

1.6.4 使用推理規則建立論證48 

1.6.5 消解律49 

1.6.6 謬誤49 

1.6.7 量化命題的推理規則50 

1.6.8 命題和量化命題推理規則的組閤使用51 

練習52 

1.7 證明導論53 

1.7.1 引言53 

1.7.2 一些專用術語53 

1.7.3 理解定理是如何陳述的54 

1.7.4 證明定理的方法54 

1.7.5 直接證明法54 

1.7.6 反證法55 

1.7.7 歸謬證明法57 

1.7.8 證明中的錯誤59 

1.7.9 良好的開端60 

練習60 

1.8 證明的方法和策略61 

1.8.1 引言61 

1.8.2 窮舉證明法和分情形證明法61 

1.8.3 存在性證明65 

1.8.4 wei一性證明66 

1.8.5 證明策略66 

1.8.6 尋找反例68 

1.8.7 證明策略實踐68 

1.8.8 拼接68 

1.8.9 開放問題的作用71 

1.8.10 其他證明方法71 

練習72 

關鍵術語和結論73 

復習題75 

補充練習75 

計算機課題78 

計算和探索78 

寫作課題78 

第2章 基本結構：集閤、函數、序列、求和與矩陣79 

2.1 集閤79 

2.1.1 引言79 

2.1.2 文氏圖81 

2.1.3 子集81 

2.1.4 集閤的大小82 

2.1.5 冪集83 

2.1.6 笛卡兒積83 

2.1.7 使用帶量詞的集閤符號84 

2.1.8 真值集和量詞84 

練習85 

2.2 集閤運算86 

2.2.1 引言86 

2.2.2 集閤恒等式88 

2.2.3 擴展的並集和交集90 

2.2.4 集閤的計算機錶示91 

練習92 

2.3 函數94 

2.3.1 引言94 

2.3.2 一對一函數和映上函數96 

2.3.3 反函數和函數組閤98 

2.3.4 函數的圖100 

2.3.5 一些重要的函數101 

2.3.6 部分函數103 

練習103 

2.4 序列與求和106 

2.4.1 引言106 

2.4.2 序列106 

2.4.3 遞推關係107 

2.4.4 特殊的整數序列109 

2.4.5 求和111 

練習114 

2.5 集閤的基數116 

2.5.1 引言116 

2.5.2 可數集116 

2.5.3 不可數集閤118 

練習120 

2.6 矩陣121 

2.6.1 引言121 

2.6.2 矩陣算術122 

2.6.3 矩陣的轉置和冪123 

2.6.4 0-1矩陣124 

練習125 

關鍵術語和結論126 

復習題128 

補充練習129 

計算機課題131 

計算和探索131 

寫作課題131 

第3章 計數132 

3.1 計數的基礎132 

3.1.1 引言132 

3.1.2 基本的計數原則132 

3.1.3 比較復雜的計數問題136 

3.1.4 減法法則（兩個集閤的容斥原理）137 

3.1.5 除法法則138 

3.1.6 樹圖138 

練習139 

3.2 鴿巢原理141 

3.2.1 引言141 

3.2.2 廣義鴿巢原理142 

3.2.3 鴿巢原理的幾個簡單應用144 

練習145 

3.3 排列與組閤146 

3.3.1 引言146 

3.3.2 排列146 

3.3.3 組閤148 

練習150 

3.4 二項式係數和恒等式151 

3.4.1 二項式定理151 

3.4.2 帕斯卡恒等式和三角形153 

3.4.3 其他的二項式係數恒等式154 

練習155 

3.5 排列與組閤的推廣157 

3.5.1 引言157 

3.5.2 有重復的排列157 

3.5.3 有重復的組閤157 

3.5.4 具有不可區彆物體的集閤的排列160 

3.5.5 把物體放入盒子161 

練習163 

3.6 生成排列和組閤165 

3.6.1 引言165 

3.6.2 生成排列165 

3.6.3 生成組閤166 

練習167 

關鍵術語和結論168 

復習題169 

補充練習170 

計算機課題173 

計算和探索173 

寫作課題174 

第4章 高級計數技術175 

4.1 遞推關係的應用175 

4.1.1 引言175 

4.1.2 用遞推關係構造模型176 

4.1.3 算法與遞推關係180 

練習181 

4.2 求解綫性遞推關係184 

4.2.1 引言184 

4.2.2 求解常係數綫性齊次遞推關係184 

4.2.3 常係數綫性非齊次的遞推關係188 

練習190 

4.3 分治算法和遞推關係191 

4.3.1 引言191 

4.3.2 分治遞推關係192 

練習197 

4.4 生成函數198 

4.4.1 引言198 

4.4.2 關於冪級數的有用事實198 

4.4.3 計數問題與生成函數201 

4.4.4 使用生成函數求解遞推關係204 

4.4.5 使用生成函數證明恒等式205 

練習206 

4.5 容斥208 

4.5.1 引言208 

4.5.2 容斥原理208 

練習211 

4.6 容斥原理的應用212 

4.6.1 引言212 

4.6.2 容斥原理的另一種形式212 

4.6.3 埃拉托色尼篩213 

4.6.4 映上函數的個數213 

4.6.5 錯位排列214 

練習216 

關鍵術語和結論216 

復習題217 

補充練習218 

計算機課題221 

計算和探索221 

寫作課題221 

第5章 關係223 

5.1 關係及其性質223 

5.1.1 引言223 

5.1.2 函數作為關係224 

5.1.3 集閤的關係224 

5.1.4 關係的性質225 

5.1.5 關係的組閤227 

練習228 

5.2 n元關係及其應用230 

5.2.1 引言230 

5.2.2 n元關係231 

5.2.3 數據庫和關係231 

5.2.4 n元關係的運算232 

5.2.5 SQL234 

練習235 

5.3 關係的錶示236 

5.3.1 引言236 

5.3.2 用矩陣錶示關係236 

5.3.3 用圖錶示關係238 

練習239 

5.4 關係的閉包240 

5.4.1 引言240 

5.4.2 閉包241 

5.4.3 有嚮圖中的路徑241 

5.4.4 傳遞閉包242 

5.4.5 沃捨爾算法245 

練習247 

5.5 等價關係247 

5.5.1 引言247 

5.5.2 等價關係248 

5.5.3 等價類249 

5.5.4 等價類與劃分250 

練習253 

5.6 偏序255 

5.6.1 引言255 

5.6.2 字典順序256 

5.6.3 哈塞圖257 

5.6.4 極大元與極小元259 

5.6.5 格260 

5.6.6 拓撲排序261 

練習263 

關鍵術語和結論265 

復習題267 

補充練習268 

計算機課題271 

計算和探索272 

寫作課題272 

第6章 圖273 

6.1 圖和圖模型273 

6.1.1 圖模型276 

練習279 

6.2 圖的術語和幾種特殊的圖281 

6.2.1 引言281 

6.2.2 基本術語281 

6.2.3 一些特殊的簡單圖283 

6.2.4 二分圖284 

6.2.5 二分圖和匹配286 

6.2.6 特殊類型圖的一些應用288 

6.2.7 從舊圖構造新圖289 

練習291 

6.3 圖的錶示和圖的同構293 

6.3.1 引言293 

6.3.2 圖的錶示293 

6.3.3 鄰接矩陣293 

6.3.4 關聯矩陣295 

6.3.5 圖的同構296 

6.3.6 判定兩個簡單圖是否同構296 

練習298 

6.4 連通性301 

6.4.1 引言301 

6.4.2 通路301 

6.4.3 無嚮圖的連通性303 

6.4.4 圖是如何連通的304 

6.4.5 有嚮圖的連通性306 

6.4.6 通路與同構307 

6.4.7 計算頂點之間的通路數308 

練習308 

6.5 歐拉通路與哈密頓通路311 

6.5.1 引言311 

6.5.2 歐拉通路與歐拉迴路311 

6.5.3 哈密頓通路與哈密頓迴路315 

6.5.4 哈密頓迴路的應用316 

練習318 

6.6 短通路問題320 

6.6.1 引言320 

6.6.2 短通路算法322 

6.6.3 旅行商問題325 

練習326 

6.7 平麵圖328 

6.7.1 引言328 

6.7.2 歐拉公式329 

6.7.3 庫拉圖斯基定理332 

練習333 

6.8 圖著色334 

6.8.1 引言334 

6.8.2 圖著色的應用337 

練習338 

關鍵術語和結論340 

復習題343 

補充練習344 

計算機課題348 

計算和探索349 

寫作課題349 

第7章 樹351 

7.1 樹的概述351 

7.1.1 有根樹352 

7.1.2 樹作為模型355 

7.1.3 樹的性質356 

練習358 

7.2 樹的應用360 

7.2.1 引言360 

7.2.2 二叉搜索樹360 

7.2.3 決策樹362 

7.2.4 前綴碼364 

7.2.5 博弈樹365 

練習369 

7.3 樹的遍曆371 

7.3.1 引言371 

7.3.2 通用地址係統371 

7.3.3 遍曆算法372 

7.3.4 中綴、前綴和後綴記法377 

練習379 

7.4 生成樹380 

7.4.1 引言380 

7.4.2 深度優先搜索382 

7.4.3 寬度優先搜索384 

7.4.4 迴溯的應用385 

7.4.5 有嚮圖中的深度優先搜索387 

練習388 

7.5 小生成樹390 

7.5.1 引言390

……

書名：離散數學及其應用（原書第7版）

原名：Discrete Mathematics and Its Applications

作者：Kenneth H.Rosen（濛茅斯大學） 徐六通,楊娟,吳斌/譯

齣 版 社：機械工業齣版社

齣版時間/版次：2017-1-1

印刷時間/印次：2017-1-1

ＩＳＢＮ：9787111555391

頁 數：435

開 本：16開

裝幀：平裝

定價：59.00

本書是經典的離散數學教材，為全球多所大學廣為采用。本書全麵而係統地介紹瞭離散數學的理論和方法，內容涉及邏輯和證明，集閤、函數、序列、求和與矩陣，計數，關係，圖，樹，布爾代數。全書取材廣泛，除包括定義、定理的嚴格陳述外，還配備大量的實例和圖錶說明、各種練習和題目。第7版在前六版的基礎上做瞭大量的改進，使其成為更有效的教學工具。本書可作為高等院校數學、計算機科學和計算機工程等專業的教材或參考書。 

離散數學及其應用(原書第7版)》是經典的離散數學教材，為全球多所大學廣為采用。本書全麵而係統地介紹瞭離散數學的理論和方法，內容涉及數學推理、組閤分析、離散結構、算法思想以及應用與建模。全書取材廣泛，除包括定義、定理的嚴格陳述外，還配備大量的實例和圖錶說明、各種練習和題目以及豐富的曆史資料和網站資料。第7版在前六版的基礎上做瞭大量的改進，使其成為更有效的教學工具。

《離散數學及其應用(原書第7版)》可作為高等院校數學、計算機科學和計算機工程等專業的教材或參考書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆