離散數(shù)學(xué)中的算法設(shè)計(jì)與實(shí)現(xiàn)
定 價(jià):35 元
- 作者:陳業(yè)綱 著
- 出版時(shí)間:2018/11/1
- ISBN:9787564365073
- 出 版 社:西南交通大學(xué)出版社
- 中圖法分類:O158
- 頁碼:189
- 紙張:膠版紙
- 版次:1
- 開本:16開
離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)一門理論性較強(qiáng)的基礎(chǔ)理論課,電是該專業(yè)的核心課程和主干課程。目前,國內(nèi)離散數(shù)學(xué)教學(xué)主要是讓學(xué)生掌握書中的概念、定理、公式并能靈活地解題,而對實(shí)驗(yàn)教學(xué)課程進(jìn)行的研究較少,忽視了實(shí)踐課程對理論課程的輔助和促進(jìn)作用,也忽視了該課程與數(shù)據(jù)結(jié)構(gòu)等課程的有機(jī)聯(lián)系。但是,對于計(jì)算機(jī)專業(yè)的學(xué)生而言,學(xué)習(xí)離散數(shù)學(xué)更重要的是實(shí)踐。為了改善這種局面,幫助學(xué)生更好地理解和掌握所學(xué)的基本概念和方法,并能運(yùn)用所學(xué)知識,上機(jī)解決一些典型問題,在教學(xué)中應(yīng)加強(qiáng)離散數(shù)學(xué)的實(shí)踐教學(xué),利用小組合作學(xué)習(xí)或者組織全班討論,開展研究性學(xué)習(xí)活動(dòng)。在實(shí)驗(yàn)過程中,依靠計(jì)算機(jī),讓學(xué)生主動(dòng)參與探索、解決問題,使他們從中獲得用離散數(shù)學(xué)研究、解決實(shí)際問題的過程體驗(yàn)、情感體驗(yàn),產(chǎn)生成就感,進(jìn)而提高學(xué)習(xí)的興趣、實(shí)際動(dòng)手的能力并激發(fā)創(chuàng)新潛能。
《離散數(shù)學(xué)中的算法設(shè)計(jì)與實(shí)現(xiàn)》在編寫中力求做到:理論與算法并重;去掉冗長的證明,保留簡潔、有特色、能體現(xiàn)典型的數(shù)學(xué)思想和方法的內(nèi)容;強(qiáng)調(diào)算法的基本思想和計(jì)算機(jī)實(shí)現(xiàn)。全書共分7部分:數(shù)理邏輯、圖、關(guān)系、函數(shù)與集合、樹、代數(shù)系統(tǒng)、遞推方程的求解。書中所有代碼均在VC++環(huán)境下調(diào)試通過。
離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)一門理論性較強(qiáng)的基礎(chǔ)理論課,電是該專業(yè)的核心課程和主干課程。目前,國內(nèi)離散數(shù)學(xué)教學(xué)主要是讓學(xué)生掌握書中的概念、定理、公式并能靈活地解題,而對實(shí)驗(yàn)教學(xué)課程進(jìn)行的研究較少,忽視了實(shí)踐課程對理論課程的輔助和促進(jìn)作用,也忽視了該課程與數(shù)據(jù)結(jié)構(gòu)等課程的有機(jī)聯(lián)系。但是,對于計(jì)算機(jī)專業(yè)的學(xué)生而言,學(xué)習(xí)離散數(shù)學(xué)更重要的是實(shí)踐。為了改善這種局面,幫助學(xué)生更好地理解和掌握所學(xué)的基本概念和方法,并能運(yùn)用所學(xué)知識,上機(jī)解決一些典型問題,在教學(xué)中應(yīng)加強(qiáng)離散數(shù)學(xué)的實(shí)踐教學(xué),利用小組合作學(xué)習(xí)或者組織全班討論,開展研究性學(xué)習(xí)活動(dòng)。在實(shí)驗(yàn)過程中,依靠計(jì)算機(jī),讓學(xué)生主動(dòng)參與探索、解決問題,使他們從中獲得用離散數(shù)學(xué)研究、解決實(shí)際問題的過程體驗(yàn)、情感體驗(yàn),產(chǎn)生成就感,進(jìn)而提高學(xué)習(xí)的興趣、實(shí)際動(dòng)手的能力并激發(fā)創(chuàng)新潛能。
本書在編寫中力求做到:理論與算法并重;去掉冗長的證明,保留簡潔、有特色、能體現(xiàn)典型的數(shù)學(xué)思想和方法的內(nèi)容;強(qiáng)調(diào)算法的基本思想和計(jì)算機(jī)實(shí)現(xiàn)。全書共分7部分:數(shù)理邏輯、圖、關(guān)系、函數(shù)與集合、樹、代數(shù)系統(tǒng)、遞推方程的求解。書中所有代碼均在VC++環(huán)境下調(diào)試通過。
本書由陳業(yè)綱和潘小琴、安建梅三位老師編寫,其中第1~5章由陳業(yè)綱編寫;第6章由潘小琴編寫;第7章由安建梅編寫。本書在編寫的過程中,參考了部分院校ACM競賽相關(guān)的資料和文獻(xiàn),兄弟院校的同行也提出了寶貴的意見和建議,在這里一并表示感謝。同時(shí),還要感謝李柳柏教授項(xiàng)目的無私幫助。
由于編者水平有限,書中難免存在不足和疏漏之處,懇請廣大讀者批評指正。
第1章 數(shù)理邏輯
1.1 真值表、主析取范式和主合取范式
1.2 推理
第2章 圖
2.1 圖的基本概念
2.2 二分圖、歐拉圖和哈密頓圖
2.3 最短路徑、關(guān)鍵路徑
2.4 廣度優(yōu)先、深度優(yōu)先算法
2.5 橋、割點(diǎn)
第3章 關(guān)系
3.1 關(guān)系的性質(zhì)
3.2 偏序集極小極大元最小最大元
3.3 矩陣與關(guān)系閉包
3.4 布爾矩陣交并積
3.5 關(guān)系的傳遞閉包
3.6 最小等價(jià)關(guān)系
第4章 函數(shù)與集合
4.1 單滿射一一映射
4.2 集合的運(yùn)算
4.3 并查集
4.4 排列組合
4.5 商集
4.6 格雷碼
4.7 數(shù)字拆解
第5章 樹
5.1 表達(dá)式運(yùn)算
5.2 樹的判定和遍歷
5.3 最小生成樹
5.4 哈夫曼樹
第6章 代數(shù)系統(tǒng)
6.1 群的判斷
6.2 格
第7章 遞推方程的求解
7.1 遞歸
7.2 遞推數(shù)列
參考文獻(xiàn)