離散數(shù)學及其應(yīng)用（愿書第5版）

定　價：￥79.00

作　者：	（美）Kenneth H.Rosen 著；袁崇義、等譯
出版社：	機械工業(yè)出版社
叢編項：	計算機科學叢書
標　簽：	離散數(shù)學

購買這本書可以去

ISBN：	9787111203261	出版時間：	2007-06-01	包裝：	平裝
開本：	16	頁數(shù)：	804	字數(shù)：

內(nèi)容簡介

　　本書是經(jīng)典的離散數(shù)學教材，為全球多所大學廣大為采用。本書全面而系統(tǒng)地介紹了離散數(shù)學的理論和方法，內(nèi)容涉及數(shù)學推廣、組合分析、離散結(jié)構(gòu)和算法設(shè)計。全書取材廣泛，除包括定義、定理的嚴密陳述外，還配備大量的實例和圖表的說明，各種聯(lián)系和題目。以及豐富的歷史資料和網(wǎng)站資源。第5版在前四版的基礎(chǔ)上作了大量的改進，使其成為更有效的教學工具。本書可作為高等院校教學、計算機科學和計算機工程等專業(yè)的教材或參考書。

作者簡介

　　Kenneth H．Rosen 1972年獲密歇根大學數(shù)學學士學位，1976年獲麻省理工學院數(shù)學博士學位，1982年加入貝爾實驗室，現(xiàn)為AT＆T實驗室特別成員，國際知名的計算機數(shù)學專家，除本書外，還著有《初等數(shù)論及其應(yīng)用》等書。

圖書目錄

出版者的話
專家指導委員會
作者介紹
前言
第1章　基礎(chǔ)：邏輯和證明、集合、函數(shù)
　1.1　邏輯
　　1.1.1　引言
　　1.1.2　命題
　　1.1.3　蘊含
　　1.1.4　邏輯運算符的優(yōu)先級
　　1.1.5　翻譯語言的句子
　　1.1.6　系統(tǒng)規(guī)范說明
　　1.1.7　布爾檢索
　　1.1.8　邏輯難題
　　1.1.9　邏輯運算和位運算
　　練習
　1.2　命題等價
　　1.2.1　引言
　　1.2.2　邏輯等價
　　練習
　1.3　謂詞和量詞
　　1.3.1　引言
　　1.3.2　量詞
　　1.3.3　綁定變量
　　1.3.4　否定
　　1.3.5　翻譯語句為邏輯表達式
　　1.3.6　選自Lewis Carroll的例子
　　1.3.7　邏輯程序設(shè)計
　　練習
　1.4　嵌套量詞
　　1.4.1　引言
　　1.4.2　翻譯涉及嵌套量詞的語句
　　1.4.3　將語句翻譯成邏輯表達式
　　1.4.4　否定嵌套量詞
　　1.4.5　量詞的順序
　　練習
　1.5　證明方法
　　1.5.1　引言
　　1.5.2　推理規(guī)則
　　1.5.3　有效的論證
　　1.5.4　消解
　　1.5.5　謬誤
　　1.5.6　帶量詞命題的推理規(guī)則
　　1.5.7　證明定理的方法
　　1.5.8　定理與量詞
　　1.5.9　證明中的錯誤
　　1.5.10　關(guān)于證明的一些評注
　　練習
　1.6　集合
　　1.6.1　引言
　　1.6.2　冪集合
　　1.6.3　笛卡兒積
　　1.6.4　使用帶量詞的集合符號
　　練習
　1.7　集合運算
　　1.7.1　引言
　　1.7.2　集合恒等式
　　1.7.3　擴展的并集和交集
　　1.7.4　計算機表示集合的方式
　　練習
　1.8　函數(shù)
　　1.8.1　引言
　　1.8.2　一對一函數(shù)和映上函數(shù)
　　1.8.3　反函數(shù)和函數(shù)組合
　　1.8.4　函數(shù)的圖像
　　1.8.5　幾個重要的函數(shù)
　　練習
　關(guān)鍵術(shù)語和結(jié)果
　復習題
　補充練習
　計算機題目
　計算和研究
　寫作題目
第2章　基礎(chǔ)：算法、整數(shù)和矩陣
第3章　數(shù)學推理、歸納與遞歸
第4章　計數(shù)
第5章　離散概率
第6章　高級計數(shù)技術(shù)
第7章　關(guān)系
第8章　圖
第9章　樹
第10章　布爾代數(shù)
第11章　計算模型
附錄A　指數(shù)函數(shù)和對數(shù)函數(shù)
附錄B　偽代碼
奇數(shù)練習題答案
推薦讀物
參考文獻