離散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）

定　價(jià)：￥79.00

作　者：	[美] 肯尼思·H.羅森（Kenneth H.Rosen）著，陳瓊編，徐六通，楊娟，吳斌譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

京東 (￥79.00)

ISBN：	9787111642176	出版時(shí)間：	2020-01-01	包裝：	平裝
開本：	16開	頁(yè)數(shù)：	400	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《離散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）》是經(jīng)典的離散數(shù)學(xué)教材，被全球數(shù)百所大學(xué)廣為采用。本科教學(xué)版縮減了篇幅，保留的主要內(nèi)容包括：邏輯和證明，集合、函數(shù)、序列、求和與矩陣，計(jì)數(shù)，關(guān)系，圖，樹，布爾代數(shù)。《離散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）》取材廣泛，除包括定義、定理的嚴(yán)格陳述外，還配備大量的例題、圖表、應(yīng)用實(shí)例和練習(xí)。第8版做了與時(shí)俱進(jìn)的更新，成為更加實(shí)用的教學(xué)工具?！峨x散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）》可作為高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)和計(jì)算機(jī)工程等專業(yè)的教材，也可作為科技領(lǐng)域從業(yè)人員的參考書?！峨x散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）》是介紹離散數(shù)學(xué)理論和方法的經(jīng)典教材，被全球數(shù)百所高校采用，獲得了極大的成功。第8版做了與時(shí)俱進(jìn)的修改，同時(shí)更新了配套教輔資源，成為更加實(shí)用的教學(xué)工具。本科教學(xué)版縮減了篇幅，適用于數(shù)學(xué)、計(jì)算機(jī)科學(xué)、計(jì)算機(jī)工程、信息技術(shù)等專業(yè)的學(xué)生?！峨x散數(shù)學(xué)及其應(yīng)用（原書第8版·本科教學(xué)版）》特色：章節(jié)：保留了邏輯和證明、基本結(jié)構(gòu)、計(jì)數(shù)和高級(jí)計(jì)數(shù)、關(guān)系、圖、數(shù)和布爾代數(shù)等內(nèi)容，刪除了算法、數(shù)論和密碼學(xué)、歸納與遞歸、離散概率、計(jì)算模型等內(nèi)容。例題：共400多道例題，用于闡明概念、建立不同主題之間的關(guān)聯(lián)以及介紹實(shí)際應(yīng)用。應(yīng)用：涉及的領(lǐng)域包括計(jì)算機(jī)科學(xué)、數(shù)據(jù)網(wǎng)絡(luò)、心理學(xué)、化學(xué)、工程學(xué)、語(yǔ)言學(xué)、生物學(xué)、商業(yè)和因特網(wǎng)等，展示了離散數(shù)學(xué)的實(shí)用性。算法：每一章都介紹了一些關(guān)鍵算法，提供偽代碼，并簡(jiǎn)要分析其計(jì)算復(fù)雜度。練習(xí)、復(fù)習(xí)題和補(bǔ)充練習(xí)：共有2000多道難度各異的練習(xí)題，可以滿足不同層次學(xué)生的需求。此外，還有一些研究性題目，幫助學(xué)生通過(guò)計(jì)算來(lái)探索新知識(shí)和新想法。

作者簡(jiǎn)介

　　肯尼思·H.羅森（Kenneth H.Rosen），于1972年獲密歇根大學(xué)安娜堡分校數(shù)學(xué)學(xué)士學(xué)位，1976年獲麻省理工學(xué)院數(shù)學(xué)博士學(xué)位。Rosen曾就職于科羅拉多大學(xué)、俄亥俄州立大學(xué)、緬因大學(xué)和蒙茅斯大學(xué)，教授離散數(shù)學(xué)、算法設(shè)計(jì)和計(jì)算機(jī)安全方面的課程；他還曾加盟貝爾實(shí)驗(yàn)室，并且是AT&T貝爾實(shí)驗(yàn)室的杰出技術(shù)人員。他的著作《初等數(shù)論及其應(yīng)用》和《離散數(shù)學(xué)及其應(yīng)用》均被翻譯成多種語(yǔ)言，在全球數(shù)百所大學(xué)中廣為采用。

圖書目錄

出版者的話
改編者序
譯者序
前言
在線資源
致學(xué)生
作者簡(jiǎn)介
符號(hào)表
第1章基礎(chǔ)：邏輯和證明
1．1 命題邏輯
1．1．1 引言
1．1．2 命題
1．1．3 條件語(yǔ)句
1．1．4 復(fù)合命題的真值表
1．1．5 邏輯運(yùn)算符的優(yōu)先級(jí)
1．1．6 邏輯運(yùn)算和比特運(yùn)算
奇數(shù)編號(hào)練習(xí)
1．2 命題邏輯的應(yīng)用
1．2．1 引言
1．2．2 語(yǔ)句翻譯
1．2．3 系統(tǒng)規(guī)范說(shuō)明
1．2．4 布爾搜索
1．2．5 邏輯謎題
1．2．6 邏輯電路
奇數(shù)編號(hào)練習(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 可滿足性問(wèn)題求解
奇數(shù)編號(hào)練習(xí)
1．4 謂詞和量詞
1．4．1 引言
1．4．2 謂詞
1．4．3 量詞
1．4．4 有限域上的量詞
1．4．5 受限域的量詞
1．4．6 量詞的優(yōu)先級(jí)
1．4．7 變量綁定
1．4．8 涉及量詞的邏輯等價(jià)式
1．4．9 量化表達(dá)式的否定
1．4．10 語(yǔ)句到邏輯表達(dá)式的翻譯
1．4．11 系統(tǒng)規(guī)范說(shuō)明中量詞的使用
1．4．12 選自路易斯·卡羅爾的例子
1．4．13 邏輯程序設(shè)計(jì)
奇數(shù)編號(hào)練習(xí)
1．5 嵌套量詞
1．5．1 引言
1．5．2 理解涉及嵌套量詞的語(yǔ)句
1．5．3 量詞的順序
1．5．4 數(shù)學(xué)語(yǔ)句到嵌套量詞語(yǔ)句的翻譯
1．5．5 嵌套量詞到自然語(yǔ)言的翻譯
1．5．6 漢語(yǔ)語(yǔ)句到邏輯表達(dá)式的翻譯
1．5．7 嵌套量詞的否定
奇數(shù)編號(hào)練習(xí)
1．6 推理規(guī)則
1．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ī)則的組合使用
奇數(shù)編號(hào)練習(xí)
1．7 證明導(dǎo)論
1．7．1 引言
1．7．2 一些專用術(shù)語(yǔ)
1．7．3 理解定理是如何陳述的
1．7．4 證明定理的方法
1．7．5 直接證明法
1．7．6 反證法
1．7．7 歸謬證明法
1．7．8 證明中的錯(cuò)誤
1．7．9 良好的開端
奇數(shù)編號(hào)練習(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 開放問(wèn)題的作用
1．8．10 其他證明方法
奇數(shù)編號(hào)練習(xí)
章末資料（在線）
……
第2章基本結(jié)構(gòu)：集合、函數(shù)、序列、求和與矩陣
第3章計(jì)數(shù)
第4章高級(jí)計(jì)數(shù)技術(shù)
第5章關(guān)系
第6章圖
第7章樹
第8章布爾代數(shù)
推薦讀物（在線）
參考文獻(xiàn)（在線）
奇數(shù)編號(hào)練習(xí)答案（在線）