中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
離散數學及其應用:本科教學版 版權信息
- ISBN：9787111642176
- 條形碼：9787111642176 ; 978-7-111-64217-6
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學及其應用:本科教學版 本書特色
本書是經典的離散數學教材，被數百所大學廣為采用。本科教學版縮減了篇幅，保留的主要內容包括：邏輯和證明，集合、函數、序列、求和與矩陣，計數，關系，圖，樹，布爾代數。
取材廣泛，除包括定義、定理的嚴格陳述外，還配備大量的例題、圖表、應用實例和練習。第8版做了與時俱進的更新，成為更加實用的教學工具。
可作為高等院校數學、計算機科學和計算機工程等專業的教材，也可作為科技領域從業人員的參考書。
本書是介紹離散數學理論和方法的經典教材，被數百所高校采用，獲得了極大的成功。第8版做了與時俱進的修改，同時更新了配套教輔資源，成為更加實用的教學工具。本科教學版縮減了篇幅，適用于數學、計算機科學、計算等
離散數學及其應用:本科教學版 內容簡介
本書是介紹離散數學理論和方法的經典教材，被全球數百所高校采用，獲得了極大的成功。第8版做了與時俱進的修改，同時更新了配套教輔資源，成為更加實用的教學工具。本科教學版縮減了篇幅，適用于數學、計算機科學、計算機工程、信息技術等專業的學生。
本書特色
·章節：保留了邏輯和證明、基本結構、計數和高級計數、關系、圖、樹和布爾代數等內容，刪除了算法、數論和密碼學、歸納與遞歸、離散概率、計算模型等內容。
·例題：共400多道例題，用于闡明概念、建立不同主題之間的關聯以及介紹實際應用。
·應用：涉及的領域包括計算機科學、數據網絡、心理學、化學、工程學、語言學、生物學、商業和因特網等，展示了離散數學的實用性。
·算法：每一章都介紹了一些關鍵算法，提供偽代碼，并簡要分析其計算復雜度。
·練習、復習題和補充練習：共有2000多道難度各異的練習題，可以滿足不同層次學生的需求。此外，還有一些研究性題目，幫助學生通過計算來探索新知識和新想法。
離散數學及其應用:本科教學版 目錄
●出版者的話
改編者序
譯者序
前言
在線資源
致學生
作者簡介
符號表
章 基礎：邏輯和證明
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 引言
1.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 謂詞
1.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.4.13 邏輯程序設計
奇數編號練習
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 推理規則
1.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章 基本結構：集合、函數、序列、求和與矩陣
第3章 計數
第4章 不錯計數技術
第5章 關系
第6章 圖
第7章 樹
第8章 布爾代數
推薦讀物（在線）
參考文獻（在線）
奇數編號練習答案（在線）
改編者序
譯者序
前言
在線資源
致學生
作者簡介
符號表
章 基礎：邏輯和證明
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 引言
1.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 謂詞
1.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.4.13 邏輯程序設計
奇數編號練習
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 推理規則
1.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章 基本結構：集合、函數、序列、求和與矩陣
第3章 計數
第4章 不錯計數技術
第5章 關系
第6章 圖
第7章 樹
第8章 布爾代數
推薦讀物（在線）
參考文獻（在線）
奇數編號練習答案（在線）
展開全部
離散數學及其應用:本科教學版 作者簡介
肯尼思·H. 羅森（Kenneth H. Rosen） 于1972年獲密歇根大學安娜堡分校數學學士學位，1976年獲麻省理工學院數學博士學位。Rosen曾就職于科羅拉多大學、俄亥俄州立大學、緬因大學和蒙茅斯大學，教授離散數學、算法設計和計算機安全方面的課程；他還曾加盟貝爾實驗室，并且是AT&T貝爾實驗室的杰出技術人員。他的著作《初等數論及其應用》和《離散數學及其應用》均被翻譯成多種語言，在全球數百所大學中廣為采用。
書友推薦
- >
我與地壇
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
苦雨齋序跋文-周作人自編集
- >
回憶愛瑪儂
- >
唐代進士錄
- >
小考拉的故事-套裝共3冊
- >
詩經-先民的歌唱
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
本類暢銷
