計(jì)算機(jī)科學(xué)叢書(shū)離散數(shù)學(xué)及其應(yīng)用(原書(shū)第8版)/(美)肯尼思.H.羅森
有劃線標(biāo)記、光盤等附件不全詳細(xì)品相說(shuō)明>>
-
>
中醫(yī)基礎(chǔ)理論
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國(guó)特色社會(huì)主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國(guó)中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
-
>
中醫(yī)診斷學(xué)--新世紀(jì)第五版
-
>
中藥學(xué)·全國(guó)中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
計(jì)算機(jī)科學(xué)叢書(shū)離散數(shù)學(xué)及其應(yīng)用(原書(shū)第8版)/(美)肯尼思.H.羅森 版權(quán)信息
- ISBN:9787111636878
- 條形碼:9787111636878 ; 978-7-111-63687-8
- 裝幀:平裝-膠訂
- 冊(cè)數(shù):暫無(wú)
- 重量:暫無(wú)
- 所屬分類:>
計(jì)算機(jī)科學(xué)叢書(shū)離散數(shù)學(xué)及其應(yīng)用(原書(shū)第8版)/(美)肯尼思.H.羅森 本書(shū)特色
本書(shū)是經(jīng)典的離散數(shù)學(xué)教材,被全球數(shù)百所大學(xué)廣為采用。書(shū)中全面而系統(tǒng)地介紹了離散數(shù)學(xué)的理論和方法,主要包括:邏輯和證明,集合、函數(shù)、序列、求和與矩陣,算法,數(shù)論和密碼學(xué),歸納與遞歸,計(jì)數(shù),離散概率,關(guān)系,圖,樹(shù),布爾代數(shù),計(jì)算模型。全書(shū)取材廣泛,除包括定義、定理的嚴(yán)格陳述外,還配備大量的例題、圖表、應(yīng)用實(shí)例和練習(xí)。第8版做了與時(shí)俱進(jìn)的更新,成為更加實(shí)用的教學(xué)工具。本書(shū)可作為高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)和計(jì)算機(jī)工程等專業(yè)的教材,也可作為科技領(lǐng)域從業(yè)人員的參考書(shū)。
計(jì)算機(jī)科學(xué)叢書(shū)離散數(shù)學(xué)及其應(yīng)用(原書(shū)第8版)/(美)肯尼思.H.羅森 內(nèi)容簡(jiǎn)介
本書(shū)是經(jīng)典的離散數(shù)學(xué)教材,被優(yōu)選數(shù)百所大學(xué)廣為采用。書(shū)中全面而系統(tǒng)地介紹了離散數(shù)學(xué)的理論和方法,主要包括:邏輯和證明,集合、函數(shù)、序列、求和與矩陣,算法,數(shù)論和密碼學(xué),歸納與遞歸,計(jì)數(shù),離散概率,關(guān)系,圖,樹(shù),布爾代數(shù),計(jì)算模型。全書(shū)取材廣泛,除包括定義、定理的嚴(yán)格陳述外,還配備大量的例題、圖表、應(yīng)用實(shí)例和練習(xí)。第8版做了與時(shí)俱進(jìn)的更新,成為更加實(shí)用的教學(xué)工具。本書(shū)可作為高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)和計(jì)算機(jī)工程等專業(yè)的教材,也可作為科技領(lǐng)域從業(yè)人員的參考書(shū)。
計(jì)算機(jī)科學(xué)叢書(shū)離散數(shù)學(xué)及其應(yīng)用(原書(shū)第8版)/(美)肯尼思.H.羅森 目錄
譯者序
前言
在線資源
致學(xué)生
作者簡(jiǎn)介
符號(hào)表
第1章 基礎(chǔ):邏輯和證明1
1.1 命題邏輯1
1.1.1 引言1
1.1.2 命題1
1.1.3 條件語(yǔ)句4
1.1.4 復(fù)合命題的真值表7
1.1.5 邏輯運(yùn)算符的優(yōu)先級(jí)8
1.1.6 邏輯運(yùn)算和比特運(yùn)算8
練習(xí)9
1.2 命題邏輯的應(yīng)用15
1.2.1 引言15
1.2.2 語(yǔ)句翻譯15
1.2.3 系統(tǒng)規(guī)范說(shuō)明16
1.2.4 布爾搜索16
1.2.5 邏輯謎題17
1.2.6 邏輯電路18
練習(xí)20
1.3 命題等價(jià)式23
1.3.1 引言23
1.3.2 邏輯等價(jià)式23
1.3.3 德·摩根律的運(yùn)用25
1.3.4 構(gòu)造新的邏輯等價(jià)式26
1.3.5 可滿足性28
1.3.6 可滿足性的應(yīng)用28
1.3.7 可滿足性問(wèn)題求解30
練習(xí)31
1.4 謂詞和量詞34
1.4.1 引言34
1.4.2 謂詞34
1.4.3 量詞37
1.4.4 有限域上的量詞39
1.4.5 受限域的量詞39
1.4.6 量詞的優(yōu)先級(jí)40
1.4.7 變量綁定40
1.4.8 涉及量詞的邏輯等價(jià)式40
1.4.9 量化表達(dá)式的否定41
1.4.10 語(yǔ)句到邏輯表達(dá)式的翻譯42
1.4.11 系統(tǒng)規(guī)范說(shuō)明中量詞的使用43
1.4.12 選自路易斯·卡羅爾的例子44
1.4.13 邏輯程序設(shè)計(jì)45
練習(xí)46
1.5 嵌套量詞51
1.5.1 引言51
1.5.2 理解涉及嵌套量詞的語(yǔ)句51
1.5.3 量詞的順序52
1.5.4 數(shù)學(xué)語(yǔ)句到嵌套量詞語(yǔ)句的翻譯53
1.5.5 嵌套量詞到自然語(yǔ)言的翻譯54
1.5.6 漢語(yǔ)語(yǔ)句到邏輯表達(dá)式的翻譯54
1.5.7 嵌套量詞的否定55
練習(xí)56
1.6 推理規(guī)則62
1.6.1 引言62
1.6.2 命題邏輯的有效論證62
1.6.3 命題邏輯的推理規(guī)則63
1.6.4 使用推理規(guī)則建立論證65
1.6.5 消解律66
1.6.6 謬誤66
1.6.7 量化命題的推理規(guī)則67
1.6.8 命題和量化命題推理規(guī)則的組合使用68
練習(xí)69
1.7 證明導(dǎo)論72
1.7.1 引言72
1.7.2 一些專用術(shù)語(yǔ)72
1.7.3 理解定理是如何陳述的73
1.7.4 證明定理的方法73
1.7.5 直接證明法73
1.7.6 反證法74
1.7.7 歸謬證明法76
1.7.8 證明中的錯(cuò)誤78
1.7.9 良好的開(kāi)端79
練習(xí)80
1.8 證明的方法和策略81
1.8.1 引言81
1.8.2 窮舉證明法和分情形證明法81
1.8.3 存在性證明84
1.8.4 唯一性證明86
1.8.5 證明策略87
1.8.6 尋找反例89
1.8.7 證明策略實(shí)踐90
1.8.8 拼接90
1.8.9 開(kāi)放問(wèn)題的作用92
1.8.10 其他證明方法93
練習(xí)94
關(guān)鍵術(shù)語(yǔ)和結(jié)論96
復(fù)習(xí)題97
補(bǔ)充練習(xí)98
計(jì)算機(jī)課題100
計(jì)算和探索101
寫(xiě)作課題101
第2章 基本結(jié)構(gòu):集合、函數(shù)、序列、求和與矩陣102
2.1 集合102
2.1.1 引言102
2.1.2 文氏圖104
2.1.3 子集105
2.1.4 集合的大小106
2.1.5 冪集107
2.1.6 笛卡兒積107
2.1.7 使用帶量詞的集合符號(hào)109
2.1.8 真值集和量詞109
練習(xí)109
2.2 集合運(yùn)算112
2.2.1 引言112
2.2.2 集合恒等式114
2.2.3 擴(kuò)展的并集和交集116
2.2.4 集合的計(jì)算機(jī)表示117
2.2.5 多重集118
練習(xí)119
2.3 函數(shù)123
2.3.1 引言123
2.3.2 一對(duì)一函數(shù)和映上函數(shù)125
2.3.3 反函數(shù)和函數(shù)合成128
2.3.4 函數(shù)的圖130
2.3.5 一些重要的函數(shù)130
2.3.6 部分函數(shù)133
練習(xí)133
2.4 序列與求和138
2.4.1 引言138
2.4.2 序列138
2.4.3 遞推關(guān)系139
2.4.4 特殊的整數(shù)序列141
2.4.5 求和144
練習(xí)147
2.5 集合的基數(shù)150
2.5.1 引言150
2.5.2 可數(shù)集合151
2.5.3 不可數(shù)集合153
練習(xí)155
2.6 矩陣157
2.6.1 引言157
2.6.2 矩陣算術(shù)158
2.6.3 矩陣的轉(zhuǎn)置和冪159
2.6.4 0-1矩陣160
練習(xí)161
關(guān)鍵術(shù)語(yǔ)和結(jié)論164
復(fù)習(xí)題166
補(bǔ)充練習(xí)166
計(jì)算機(jī)課題168
計(jì)算和探索169
寫(xiě)作課題169
第3章 算法170
3.1 算法170
3.1.1 引言170
3.1.2 搜索算法172
3.1.3 排序174
3.1.4 字符串匹配176
3.1.5 貪婪算法177
3.1.6 停機(jī)問(wèn)題179
練習(xí)180
3.2 函數(shù)的增長(zhǎng)183
3.2.1 引言183
3.2.2 大O記號(hào)184
3.2.3 一些重要函數(shù)的大O估算187
3.2.4 函數(shù)組合的增長(zhǎng)190
3.2.5 大Ω與大Θ記號(hào)191
練習(xí)192
3.3 算法的復(fù)雜度196
3.3.1 引言196
3.3.2 時(shí)間復(fù)雜度196
3.3.3 矩陣乘法的復(fù)雜度198
3.3.4 算法范型199
3.3.5 理解算法的復(fù)雜度201
練習(xí)203
關(guān)鍵術(shù)語(yǔ)和結(jié)論207
復(fù)習(xí)題208
補(bǔ)充練習(xí)209
計(jì)算機(jī)課題211
計(jì)算和探索211
寫(xiě)作課題212
第4章 數(shù)論和密碼學(xué)213
4.1 整除性和模算術(shù)213
4.1.1 引言213
4.1.2 除法213
- >
有舍有得是人生
- >
煙與鏡
- >
二體千字文
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
莉莉和章魚(yú)
- >
詩(shī)經(jīng)-先民的歌唱
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
自卑與超越