離散數(shù)學(xué)及其應(yīng)用(原書第6版)是款非常優(yōu)秀的離散數(shù)學(xué)教材；是由非常知名的羅森(Rosen,K.H)著的，這經(jīng)過了許多優(yōu)秀的工作者進(jìn)行翻譯，經(jīng)過機(jī)械工業(yè)出版社進(jìn)行印刷發(fā)行；這本書完美的介紹了離散數(shù)學(xué)的知識(shí)，不管是理論還是方法，都涉及到了方方面面，內(nèi)容包括了離散結(jié)構(gòu)、數(shù)學(xué)推理、算法思維等等，并且取材也是相當(dāng)?shù)膹V泛，進(jìn)行了大量的實(shí)例、圖表的說明等情況！

軟件功能

　　1、易入門：實(shí)踐證明本書對(duì)初學(xué)者來(lái)說易讀易懂。

　　2、靈活：本教材為靈活使用做了精心設(shè)計(jì)，各章對(duì)其前面內(nèi)容的依賴降到最小。

　　3、寫作風(fēng)格：直接和實(shí)用。

　　4、數(shù)學(xué)嚴(yán)密性和準(zhǔn)確性：書中所有定義和定理的陳述都十分詳細(xì)，以確保語(yǔ)言的準(zhǔn)確性和數(shù)學(xué)所需的嚴(yán)密性。

　　5、應(yīng)用：書中敘述的應(yīng)用展示了離散數(shù)學(xué)在解決現(xiàn)實(shí)問題中的使用價(jià)值，涉及的應(yīng)用領(lǐng)域包括計(jì)算機(jī)科學(xué)、數(shù)據(jù)網(wǎng)絡(luò)、心理學(xué)、化學(xué)、工程、語(yǔ)言學(xué)、生物學(xué)、商業(yè)和互聯(lián)網(wǎng)等。

　　6、算法：離散數(shù)學(xué)的結(jié)論常常要用算法來(lái)表示，因此本書每一章都介紹了一些關(guān)鍵算法，這些算法即可以用文字?jǐn)⑹?，也可以用更易于理解的結(jié)構(gòu)化偽碼來(lái)敘述。

　　7、歷史資料：本書對(duì)許多主題的背景作了簡(jiǎn)要介紹，并以腳注的形式給出了65位對(duì)離散數(shù)學(xué)做出過重要貢獻(xiàn)的數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家的簡(jiǎn)短傳記。

軟件特色

　　為全球多所大學(xué)廣為采用

　　本書全面而系統(tǒng)地介紹了離散數(shù)學(xué)的理論和方法

　　內(nèi)容涉及數(shù)學(xué)推理、組合分析、離散結(jié)構(gòu)、算法思維以及應(yīng)用與建模

　　全書取材廣泛，除包括定義、定理的嚴(yán)密陳述外

　　還配備大量的實(shí)例和圖表的說明、各種練習(xí)和題目以及豐富的歷史資料和網(wǎng)站資源

　　第6版在前五版的基礎(chǔ)上做了大量的改進(jìn)，使其成為更有效的教學(xué)工具

目錄

　　譯者序

　　前言

　　第1章基礎(chǔ):邏輯和證明

　　1.1命題邏輯

　　1.2命題等價(jià)

　　1.3謂詞和量詞

　　1.4嵌套量詞

　　1.5推理規(guī)則

　　1.6證明導(dǎo)論

　　1.7證明的方法和策略