幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

離散數學及其應用(原書第8版)/電腦科學叢書

  • 作者：(美)肯尼思·H.羅森|譯者:徐六通//楊娟//吳斌
  • 出版社：機械工業
  • ISBN：9787111636878
  • 出版日期：2019/10/01
  • 裝幀：平裝
  • 頁數：821
人民幣：RMB 139 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書是經典的離散數學教材，被全球數百所大學廣為採用。書中全面而系統地介紹了離散數學的理論和方法，主要包括：邏輯和證明，集合、函數、序列、求和與矩陣，演算法，數論和密碼學，歸納與遞歸，計數，離散概率，關係，圖，樹，布爾代數，計算模型。全書取材廣泛，除包括定義、定理的嚴格陳述外，還配備大量的例題、圖表、應用實例和練習。第8版做了與時俱進的更新，成為更加實用的教學工具。
    本書可作為高等院校數學、電腦科學和電腦工程等專業的教材，也可作為科技領域從業人員的參考書。
作者介紹
(美)肯尼思·H.羅森|譯者:徐六通//楊娟//吳斌
目錄
出版者的話
譯者序
前言
在線資源
致學生
作者簡介
符號表
第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  引言
    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  命題邏輯的有效論證
  ……
第2章  基本結構：集合、函數、序列、求和與矩陣
第3章  演算法
第4章  數論和密碼學
第5章  歸納與遞歸
第6章  計數
第7章  離散概率
第8章  高級計數技術
第9章  關係
第10章  圖
第11章  樹
第12章  布爾代數
第13章  計算模型
附錄A  實數和正整數的公理
附錄B  指數與對數函數
附錄C  偽代碼
推薦讀物
參考文獻
奇數編號練習答案

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032