《離散數學及其套用（原書第7版）》是2015年1月1日機械工業出版社出版的圖書，作者是[美] Kenneth H.Rosen 。
基本介紹
- 中文名：離散數學及其套用（原書第7版）
- 作者：[美] Kenneth H.Rosen
- 出版社：機械工業出版社
- ISBN：9787111453826
內容簡介,圖書目錄,
內容簡介
《計算機科學叢書：離散數學及其套用（原書第7版）》是介紹離散數學理論和方法的經典教材，已經成為採用率高的離散數學教材，被美國眾多名校用作教材，獲得了極大的成功。中文版也已被國內大學廣泛採用為教材。作者參考使用教師和學生的反饋，並結合自身對教育的洞察，對第7版做了大量的改進，使其成為更有效的教學工具。《計算機科學叢書：離散數學及其套用（原書第7版）》可作為1至2個學期的離散數學課入門教材，適用於數學、計算機科學、計算機工程、信息技術等專業的學生。
圖書目錄
版者的話
譯者序
前言
配套網站
致學生
關於作者
符號表
第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章 計算模型
附錄
