計(jì)算機(jī)科學(xué)叢書：離散數(shù)學(xué)及其應(yīng)用（原書第7版）簡介，目錄書摘
2019-11-22 17:37
來源：京東
作者：京東
計(jì)算機(jī)科學(xué)叢書：離散數(shù)學(xué)及其應(yīng)用（原書第7版）
暫無報(bào)價(jià)
8600+評(píng)論
99%好評(píng)
內(nèi)容簡介: 《計(jì)算機(jī)科學(xué)叢書：離散數(shù)學(xué)及其應(yīng)用（原書第7版）》是介紹離散數(shù)學(xué)理論和方法的經(jīng)典教材，已經(jīng)成為采用率高的離散數(shù)學(xué)教材，被美國眾多名校用作教材，獲得了極大的成功。中文版也已被國內(nèi)大學(xué)廣泛采用為教材。作者參考使用教師和學(xué)生的反饋，并結(jié)合自身對(duì)教育的洞察，對(duì)第7版做了大量的改進(jìn)，使其成為更有效的教學(xué)工具?！队?jì)算機(jī)科學(xué)叢書：離散數(shù)學(xué)及其應(yīng)用（原書第7版）》可作為1至2個(gè)學(xué)期的離散數(shù)學(xué)課入門教材，適用于數(shù)學(xué)、計(jì)算機(jī)科學(xué)、計(jì)算機(jī)工程、信息技術(shù)等專業(yè)的學(xué)生。
作者簡介:
Kenneth H.Rosen，作為位于新澤西州蒙茅斯縣的AT＆T實(shí)驗(yàn)室杰出技術(shù)會(huì)員已經(jīng)擁有一段很長的職業(yè)生涯。目前他在蒙茅斯大學(xué)任訪問研究教授，為研究生講授計(jì)算機(jī)科學(xué)課程。
Rosen博士于1972年獲得位于安娜堡的密歇根大學(xué)數(shù)學(xué)學(xué)士學(xué)位，1976年獲得麻省理工學(xué)院數(shù)學(xué)博士學(xué)位，在哈羅德·斯塔克（Harold Stark）的指導(dǎo)下他撰寫了數(shù)論方面的博士論文。1982年加入貝爾實(shí)驗(yàn)室之前，他曾就職于科羅拉多大學(xué)博爾德分校；哥倫布市的俄亥俄州立大學(xué)；在歐洛諾市的緬因大學(xué)任數(shù)學(xué)副教授。在AT&T工作時(shí)，他在蒙茅斯大學(xué)任教，教授離散數(shù)學(xué)、編碼理論和數(shù)據(jù)安全方面的課程。他目前教授算法設(shè)計(jì)以及計(jì)算機(jī)安全和密碼學(xué)方面的課程。
Rosen博士于1972年獲得位于安娜堡的密歇根大學(xué)數(shù)學(xué)學(xué)士學(xué)位，1976年獲得麻省理工學(xué)院數(shù)學(xué)博士學(xué)位，在哈羅德·斯塔克（Harold Stark）的指導(dǎo)下他撰寫了數(shù)論方面的博士論文。1982年加入貝爾實(shí)驗(yàn)室之前，他曾就職于科羅拉多大學(xué)博爾德分校；哥倫布市的俄亥俄州立大學(xué)；在歐洛諾市的緬因大學(xué)任數(shù)學(xué)副教授。在AT&T工作時(shí)，他在蒙茅斯大學(xué)任教，教授離散數(shù)學(xué)、編碼理論和數(shù)據(jù)安全方面的課程。他目前教授算法設(shè)計(jì)以及計(jì)算機(jī)安全和密碼學(xué)方面的課程。
目錄:版者的話
譯者序
前言
配套網(wǎng)站
致學(xué)生
關(guān)于作者
符號(hào)表
第1章 基礎(chǔ)：邏輯和證明
1．1 命題邏輯
1．1．1 引言
1．1．2 命題
1．1．3 條件語句
1．1．4 復(fù)合命題的真值表
1．1．5 邏輯運(yùn)算符的優(yōu)先級(jí)
1．1．6 邏輯運(yùn)算和位運(yùn)算
練習(xí)
1．2 命題邏輯的應(yīng)用
．1．2．1 引言
l．2．2 語句翻譯
1．2．3 系統(tǒng)規(guī)范說明
1．2．4 布爾搜索
1．2．5 邏輯謎題
1．2．6 邏輯電路
練習(xí)
1．3 命題等價(jià)式
1．3．1 引言
1．3．2 邏輯等價(jià)式
1．3．3 德．摩根律的運(yùn)用
1．3．4 構(gòu)造新的邏輯等價(jià)式
1．3．5 命題的可滿足性
1．3．6 可滿足性的應(yīng)用
1．3．7 可滿足性問題求解
練習(xí)
1．4 謂詞和量詞
1．4．1 引言
1．4．2 謂詞
l．4．3 量詞
1．4．4 約束論域的量詞
1．4．5 量詞的優(yōu)先級(jí)
1．4．6 變量綁定
1．4．7 涉及量詞的邏輯等價(jià)式
1．4．8 量化表達(dá)式的否定
1．4．9 語句到邏輯表達(dá)式的翻譯
1．4．10 系統(tǒng)規(guī)范說明中量詞的使用
1．4．11 選自路易斯．卡羅爾的例子
1．4．12 邏輯程序設(shè)計(jì)
練習(xí)
1．5 嵌套量詞
1．5．1 引言
1．5．2 理解涉及嵌套量詞的語句
1．5．3 量詞的順序
1．5．4 數(shù)學(xué)語句到嵌套量詞語句的翻譯
1．5．5 嵌套量詞到自然語言的翻譯
1．5．6 漢語語句到邏輯表達(dá)式的翻譯
1．5．7 嵌套量詞的否定
練習(xí)
1．6 推理規(guī)則
l．6．1 引言
1．6．2 命題邏輯的有效論證
1．6．3 命題邏輯的推理規(guī)則
1．6．4 使用推理規(guī)則建立論證
1．6．5 消解律
1．6．6 謬誤
1．6．7 量化命題的推理規(guī)則
1．6．8 命題和量化命題推理規(guī)則的組合使用
練習(xí)
1．7 證明導(dǎo)論
1．7．1 引言
1．7．2 一些專用術(shù)語
1．7．3 理解定理是如何陳述的
1．7．4 證明定理的方法
1．7．5 直接證明法
1．7．6 反證法
1．7．7 歸謬證明法
1．7．8 證明中的錯(cuò)誤
1．7．9 良好的開端
練習(xí)
1．8 證明的方法和策略
1．8．1 引言
1．8．2 窮舉證明法和分情形證明法
1．8．3 存在性證明
1．8．4 唯一性證明
1．8．5 證明策略
1．8．6 尋找反例
1．8．7 證明策略實(shí)踐
1．8．8 拼接
1．8．9 開放問題的作用
1．8．10 其他證明方法
練習(xí)
關(guān)鍵術(shù)語和結(jié)論
復(fù)習(xí)題
補(bǔ)充練習(xí)
計(jì)算機(jī)課題
計(jì)算和探索
寫作課題
第2章 基本結(jié)構(gòu)：集合、函數(shù)、
序列、求和與矩陣
2．1 集合
2．1．1 引言
2．1．2 文氏圖
2．1．3 子集
2．1．4 集合的大小
2．1．5 冪集
2．1．6 笛卡兒積
2．1．7 使用帶量詞的集合符號(hào)
2．1．8 真值集和量詞
練習(xí)
2．2 集合運(yùn)算
2．2．1 引言
2．2．2 集合恒等式
2．2．3 擴(kuò)展的并集和交集
2．2．4 集合的計(jì)算機(jī)表示
練習(xí)
2．3 函數(shù)
2．3．1 引言
2．3．2 一對(duì)一函數(shù)和映上函數(shù)
2．3．3 反函數(shù)和函數(shù)組合
2．3．4 函數(shù)的圖
2．3．5 一些重要的函數(shù)
2．3．6 部分函數(shù)
練習(xí)
2．4 序列與求和
2．4．l 引言
2．4．2 序列
2．4．3 遞推關(guān)系
2．4．4 特殊的整數(shù)序列
2．4．5 求和
練習(xí)
2．5 集合的基數(shù)
2．5．1 引言
2．5．2 可數(shù)集
……
第3章 算法
第4章 數(shù)論和密碼學(xué)
第5章 歸納與遞歸
第6章 計(jì)數(shù)
第7章 離散概率
第8章 高級(jí)計(jì)數(shù)技術(shù)
第9章 關(guān)系
第10章 圖
第11章 樹
第12章 布爾代數(shù)
第13章 計(jì)算模型
附錄
譯者序
前言
配套網(wǎng)站
致學(xué)生
關(guān)于作者
符號(hào)表
第1章 基礎(chǔ)：邏輯和證明
1．1 命題邏輯
1．1．1 引言
1．1．2 命題
1．1．3 條件語句
1．1．4 復(fù)合命題的真值表
1．1．5 邏輯運(yùn)算符的優(yōu)先級(jí)
1．1．6 邏輯運(yùn)算和位運(yùn)算
練習(xí)
1．2 命題邏輯的應(yīng)用
．1．2．1 引言
l．2．2 語句翻譯
1．2．3 系統(tǒng)規(guī)范說明
1．2．4 布爾搜索
1．2．5 邏輯謎題
1．2．6 邏輯電路
練習(xí)
1．3 命題等價(jià)式
1．3．1 引言
1．3．2 邏輯等價(jià)式
1．3．3 德．摩根律的運(yùn)用
1．3．4 構(gòu)造新的邏輯等價(jià)式
1．3．5 命題的可滿足性
1．3．6 可滿足性的應(yīng)用
1．3．7 可滿足性問題求解
練習(xí)
1．4 謂詞和量詞
1．4．1 引言
1．4．2 謂詞
l．4．3 量詞
1．4．4 約束論域的量詞
1．4．5 量詞的優(yōu)先級(jí)
1．4．6 變量綁定
1．4．7 涉及量詞的邏輯等價(jià)式
1．4．8 量化表達(dá)式的否定
1．4．9 語句到邏輯表達(dá)式的翻譯
1．4．10 系統(tǒng)規(guī)范說明中量詞的使用
1．4．11 選自路易斯．卡羅爾的例子
1．4．12 邏輯程序設(shè)計(jì)
練習(xí)
1．5 嵌套量詞
1．5．1 引言
1．5．2 理解涉及嵌套量詞的語句
1．5．3 量詞的順序
1．5．4 數(shù)學(xué)語句到嵌套量詞語句的翻譯
1．5．5 嵌套量詞到自然語言的翻譯
1．5．6 漢語語句到邏輯表達(dá)式的翻譯
1．5．7 嵌套量詞的否定
練習(xí)
1．6 推理規(guī)則
l．6．1 引言
1．6．2 命題邏輯的有效論證
1．6．3 命題邏輯的推理規(guī)則
1．6．4 使用推理規(guī)則建立論證
1．6．5 消解律
1．6．6 謬誤
1．6．7 量化命題的推理規(guī)則
1．6．8 命題和量化命題推理規(guī)則的組合使用
練習(xí)
1．7 證明導(dǎo)論
1．7．1 引言
1．7．2 一些專用術(shù)語
1．7．3 理解定理是如何陳述的
1．7．4 證明定理的方法
1．7．5 直接證明法
1．7．6 反證法
1．7．7 歸謬證明法
1．7．8 證明中的錯(cuò)誤
1．7．9 良好的開端
練習(xí)
1．8 證明的方法和策略
1．8．1 引言
1．8．2 窮舉證明法和分情形證明法
1．8．3 存在性證明
1．8．4 唯一性證明
1．8．5 證明策略
1．8．6 尋找反例
1．8．7 證明策略實(shí)踐
1．8．8 拼接
1．8．9 開放問題的作用
1．8．10 其他證明方法
練習(xí)
關(guān)鍵術(shù)語和結(jié)論
復(fù)習(xí)題
補(bǔ)充練習(xí)
計(jì)算機(jī)課題
計(jì)算和探索
寫作課題
第2章 基本結(jié)構(gòu)：集合、函數(shù)、
序列、求和與矩陣
2．1 集合
2．1．1 引言
2．1．2 文氏圖
2．1．3 子集
2．1．4 集合的大小
2．1．5 冪集
2．1．6 笛卡兒積
2．1．7 使用帶量詞的集合符號(hào)
2．1．8 真值集和量詞
練習(xí)
2．2 集合運(yùn)算
2．2．1 引言
2．2．2 集合恒等式
2．2．3 擴(kuò)展的并集和交集
2．2．4 集合的計(jì)算機(jī)表示
練習(xí)
2．3 函數(shù)
2．3．1 引言
2．3．2 一對(duì)一函數(shù)和映上函數(shù)
2．3．3 反函數(shù)和函數(shù)組合
2．3．4 函數(shù)的圖
2．3．5 一些重要的函數(shù)
2．3．6 部分函數(shù)
練習(xí)
2．4 序列與求和
2．4．l 引言
2．4．2 序列
2．4．3 遞推關(guān)系
2．4．4 特殊的整數(shù)序列
2．4．5 求和
練習(xí)
2．5 集合的基數(shù)
2．5．1 引言
2．5．2 可數(shù)集
……
第3章 算法
第4章 數(shù)論和密碼學(xué)
第5章 歸納與遞歸
第6章 計(jì)數(shù)
第7章 離散概率
第8章 高級(jí)計(jì)數(shù)技術(shù)
第9章 關(guān)系
第10章 圖
第11章 樹
第12章 布爾代數(shù)
第13章 計(jì)算模型
附錄
相關(guān)商品
京公網(wǎng)安備 11000002000088號(hào)
