☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　《計算機科學叢書：離散數學及其應用（原書第7版）》是介紹離散數學理論和方法的經典教材，已經成為采用率高的離散數學教材，被美國眾多名校用作教材，獲得瞭極大的成功。中文版也已被國內大學廣泛采用為教材。作者參考使用教師和學生的反饋，並結閤自身對教育的洞察，對第7版做瞭大量的改進，使其成為更有效的教學工具。《計算機科學叢書：離散數學及其應用（原書第7版）》可作為1至2個學期的離散數學課入門教材，適用於數學、計算機科學、計算機工程、信息技術等專業的學生。

作者簡介

　　Kenneth H.Rosen，作為位於新澤西州濛茅斯縣的AT＆T實驗室傑齣技術會員已經擁有一段很長的職業生涯。目前他在濛茅斯大學任訪問研究教授，為研究生講授計算機科學課程。
　　Rosen博士於1972年獲得位於安娜堡的密歇根大學數學學士學位，1976年獲得麻省理工學院數學博士學位，在哈羅德·斯塔剋（Harold Stark）的指導下他撰寫瞭數論方麵的博士論文。1982年加入貝爾實驗室之前，他曾就職於科羅拉多大學博爾德分校；哥倫布市的俄亥俄州立大學；在歐洛諾市的緬因大學任數學副教授。在AT&T;工作時，他在濛茅斯大學任教，教授離散數學、編碼理論和數據安全方麵的課程。他目前教授算法設計以及計算機安全和密碼學方麵的課程。

內頁插圖

目錄

版者的話
譯者序
前言
配套網站
緻學生
關於作者
符號錶
第1章 基礎：邏輯和證明
1．1 命題邏輯
1．1．1 引言
1．1．2 命題
1．1．3 條件語句
1．1．4 復閤命題的真值錶
1．1．5 邏輯運算符的優先級
1．1．6 邏輯運算和位運算
練習
1．2 命題邏輯的應用
．1．2．1 引言
l．2．2 語句翻譯
1．2．3 係統規範說明
1．2．4 布爾搜索
1．2．5 邏輯謎題
1．2．6 邏輯電路
練習
1．3 命題等價式
1．3．1 引言
1．3．2 邏輯等價式
1．3．3 德．摩根律的運用
1．3．4 構造新的邏輯等價式
1．3．5 命題的可滿足性
1．3．6 可滿足性的應用
1．3．7 可滿足性問題求解
練習
1．4 謂詞和量詞
1．4．1 引言
1．4．2 謂詞
l．4．3 量詞
1．4．4 約束論域的量詞
1．4．5 量詞的優先級
1．4．6 變量綁定
1．4．7 涉及量詞的邏輯等價式
1．4．8 量化錶達式的否定
1．4．9 語句到邏輯錶達式的翻譯
1．4．10 係統規範說明中量詞的使用
1．4．11 選自路易斯．卡羅爾的例子
1．4．12 邏輯程序設計
練習
1．5 嵌套量詞
1．5．1 引言
1．5．2 理解涉及嵌套量詞的語句
1．5．3 量詞的順序
1．5．4 數學語句到嵌套量詞語句的翻譯
1．5．5 嵌套量詞到自然語言的翻譯
1．5．6 漢語語句到邏輯錶達式的翻譯
1．5．7 嵌套量詞的否定
練習
1．6 推理規則
l．6．1 引言
1．6．2 命題邏輯的有效論證
1．6．3 命題邏輯的推理規則
1．6．4 使用推理規則建立論證
1．6．5 消解律
1．6．6 謬誤
1．6．7 量化命題的推理規則
1．6．8 命題和量化命題推理規則的組閤使用
練習
1．7 證明導論
1．7．1 引言
1．7．2 一些專用術語
1．7．3 理解定理是如何陳述的
1．7．4 證明定理的方法
1．7．5 直接證明法
1．7．6 反證法
1．7．7 歸謬證明法
1．7．8 證明中的錯誤
1．7．9 良好的開端
練習
1．8 證明的方法和策略
1．8．1 引言
1．8．2 窮舉證明法和分情形證明法
1．8．3 存在性證明
1．8．4 唯一性證明
1．8．5 證明策略
1．8．6 尋找反例
1．8．7 證明策略實踐
1．8．8 拼接
1．8．9 開放問題的作用
1．8．10 其他證明方法
練習
關鍵術語和結論
復習題
補充練習
計算機課題
計算和探索
寫作課題
第2章 基本結構：集閤、函數、
序列、求和與矩陣
2．1 集閤
2．1．1 引言
2．1．2 文氏圖
2．1．3 子集
2．1．4 集閤的大小
2．1．5 冪集
2．1．6 笛卡兒積
2．1．7 使用帶量詞的集閤符號
2．1．8 真值集和量詞
練習
2．2 集閤運算
2．2．1 引言
2．2．2 集閤恒等式
2．2．3 擴展的並集和交集
2．2．4 集閤的計算機錶示
練習
2．3 函數
2．3．1 引言
2．3．2 一對一函數和映上函數
2．3．3 反函數和函數組閤
2．3．4 函數的圖
2．3．5 一些重要的函數
2．3．6 部分函數
練習
2．4 序列與求和
2．4．l 引言
2．4．2 序列
2．4．3 遞推關係
2．4．4 特殊的整數序列
2．4．5 求和
練習
2．5 集閤的基數
2．5．1 引言
2．5．2 可數集
……
第3章 算法
第4章 數論和密碼學
第5章 歸納與遞歸
第6章 計數
第7章 離散概率
第8章 高級計數技術
第9章 關係
第10章 圖
第11章 樹
第12章 布爾代數
第13章 計算模型
附錄

前言/序言

　　《計算機科學叢書：離散數學及其應用（原書第7版）》是根據我多年講授離散數學的經驗和興趣寫成的。對學生而言，我的目的是為他們提供準確且可讀性很強的教材，清晰地介紹並展示離散數學中的概念和技術。我的目標是嚮愛懷疑的學生們展示離散數學的相關性和實用性，希望為學習計算機科學的學生提供一切必需的數學基礎，也希望學數學的學生理解重要的數學概念，以及為什麼這些概念對應用來說很重要，最重要的是希望本書既能達到這些目標，又不含太多的水分。
　　對教師而言，我的目的是要利用數學中行之有效的教學技術來設計一個靈活而全麵的教學工具，希望為教師提供能夠以最適閤特定學生特點的方式高效地教授離散數學的教材。希望本書能夠達到這些目標。
　　我為本教材在過去所取得的巨大成功而感到非常欣慰。根據北美600多所學校以及全球各地許多大學成功采用瞭本書的大批師生的反饋和建議，此次第7版進行瞭許多改進。
　　本教材是為一至兩個學期的離散數學入門課程而設計的，適用於數學、計算機科學和工程等各類專業的學生。雖然唯一的先修課程要求是大學代數，但是要想真正學好離散數學還需要掌握更多的數學知識。離散數學課程的目標
　　離散數學課程有多個目標。學生不僅要學會一些特定的數學知識並知道怎樣應用，更重要的是，這樣一門課應培養學生的數學邏輯思維。為此，本教材特別強調數學推理以及用不同的方法解題。本書中五個重要主題交織在一起：數學推理、組閤分析、離散結構、算法思維、應用與建模。成功的離散數學課程應該努力使這五個主題相互融閤．、平衡。
　　1．數學推理：學生必須理解數學推理，以便閱讀、領會並構造數學論證。本書以數理邏輯開篇，在後麵證明方法的討論中，數理邏輯是基礎。本書描述瞭構造證明的方法與技巧。本書特別強調數學歸納法，不僅給齣瞭這種證明的許多不同類型的實例，還詳細地解釋瞭數學歸納法為什麼是有效的證明技術。
　　2．組閤分析：一個重要的解題技巧就是計數或枚舉對象。本書中，對枚舉的討論從計數的基本技術著手，重點是用組閤分析方法來解決計數問題並分析算法，而不是簡單地應用公式。
　　3．離散結構：離散數學課程應該教會學生如何處理離散結構，即錶示離散對象以及對象之間關係的抽象數學結構。離散結構包括集閤、置換、關係、圖、樹和有限狀態機等。
　　4．算法思維：有些問題可以通過詳細說明其算法來求解。在清楚地描述算法後，就可以構造一個計算機程序來實現它。這一過程中涉及的數學部分包括算法的詳細說明、正確性驗證以及執行算法所需要的計算機內存和時間的分析等，這些內容在本書中均有介紹。算法是用英語和一種易於理解的僞代碼來描述的。
　　5．應用與建模：離散數學幾乎在每個可以想象到的研究領域中都有應用，本書介紹瞭其在計算機科學和數據網絡中的許多應用，還介紹瞭在其他各種領域中的應用，如化學、植物學、動物學、語言學、地理學、商業以及因特網等。這些均是離散數學的實際而又重要的應用，而不是編造的。
　　……

計算機科學叢書：離散數學及其應用（原書第7版） [Discrete Mathematics and Its Applications] 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

書已收到，包裝太差，有破損！

評分☆☆☆☆☆

內容很好，惡補一下當年的知識吧。

評分☆☆☆☆☆

想學好計算機必然得啃數學,數學是理工科之本

評分☆☆☆☆☆

書中用很多生動有趣的遊戲引齣問題。印刷很新，有點小灰塵不過不礙事。

評分☆☆☆☆☆

有得看瞭，就是習題答案不好找

評分☆☆☆☆☆

好厚的書，看來大學得離散數學是白學的瞭！

評分☆☆☆☆☆

次日達非常不錯，新書未拆封，很好的寶貝，非常喜歡京東。

評分☆☆☆☆☆

招瞭研究生是跨學科的，數學的基礎書全部買瞭一遍。

評分☆☆☆☆☆

內容很經典 把以前上學的內容拿瞭齣來。現在工作瞭，看這個反而看得懂瞭。內容還是偏數學，計算機相關性不大，但是能幫助自己理解

類似圖書 點擊查看全場最低價