普通高等教育"十一五"國家級規(guī)劃教材·國家精品課程主講教材

出版時間:2011-6  出版社:歐陽丹彤、楊鳳杰、李占山、 張永剛 高等教育出版社 (2011-06出版)  作者:歐陽丹彤 等 著  頁數(shù):321  

內(nèi)容概要

  《普通高等教育“十一五”國家級規(guī)劃教材·國家精品課程主講教材:離散數(shù)學(xué)結(jié)構(gòu)(第2版)》是普通高等教育“十一五”國家級規(guī)劃教材?!镀胀ǜ叩冉逃笆晃濉眹壹壱?guī)劃教材·國家精品課程主講教材:離散數(shù)學(xué)結(jié)構(gòu)(第2版)》是在第一版的基礎(chǔ)上結(jié)合近幾年的教學(xué)實踐修訂而成的。為了更好地適應(yīng)計算機(jī)學(xué)科發(fā)展的需要,增加了部分新知識與新內(nèi)容。全書共分8章,主要內(nèi)容包括集合論基礎(chǔ),計數(shù)等。

書籍目錄

第一章集合論基礎(chǔ) 1.1集合的基本概念 習(xí)題1.1  1.2關(guān)系 1.2.1關(guān)系的基本概念及其性質(zhì) 1.2.2等價關(guān)系 1.2.3偏序關(guān)系 習(xí)題1.2 1.3映射  1.3.1集合的基數(shù) 1.3.2可數(shù)集合 1.3.3不可數(shù)集合 習(xí)題1.3 1.4集合在計算機(jī)科學(xué)中的應(yīng)用 1.4.1關(guān)系在關(guān)系數(shù)據(jù)庫中的應(yīng)用 1.4.2關(guān)系代數(shù)與數(shù)據(jù)子語言 1.4.3等價關(guān)系在計算機(jī)中的應(yīng)用 1.4.4序關(guān)系在項目管理中的應(yīng)用 第二章計數(shù) 2.1兩個基本計數(shù)原理 2.1.1加法原理 2.1.2乘法原理 習(xí)題2.1 2.2排列與組合 2.2.1集合的排列數(shù)和組合數(shù) 2.2.2多重集的排列數(shù)和組合數(shù) 習(xí)題2.2 2.3二項式定理 2.3.1二項式定理 2.3.2二項式定理的推廣 習(xí)題2.3 2.4容斥原理 2.4.1容斥原理 2.4.2容斥原理的應(yīng)用 習(xí)題2.4 2.5鴿巢原理 2.5.1簡單的鴿巢原理 2.5.2加強(qiáng)的鴿巢原理 習(xí)題2.5 第三章古典數(shù)理邏輯 3.1命題邏輯 3.1.1命題與公式 3.1.2命題公式的等價關(guān)系和蘊(yùn)涵關(guān)系 3.1.3范式 3.1.4命題邏輯在二值邏輯器件和語句邏輯中的應(yīng)用  習(xí)題3.1 3.2謂詞邏輯 3.2.1謂詞邏輯的基本概念  3.2.2謂詞公式 3.2.3謂詞公式的等價關(guān)系和蘊(yùn)涵關(guān)系 3.2.4范式 3.2.5謂詞邏輯的應(yīng)用 習(xí)題3.2 第四章圖與網(wǎng)絡(luò) 4.1圖 4.1.1圖的基本概念 4.1.2權(quán)圖Dijkstra算法 習(xí)題4.1  4.2樹 4.2.1樹及其等價命題 4.2.2最優(yōu)樹Kruskal算法 4.2.3求最優(yōu)樹的其他算法 習(xí)題4.2  4.3有向圖 歐拉路 4.3.1有向圖與有向樹 4.3.2歐拉路 歐拉圖 4.3.3無向圖 無向圖中的歐拉路 習(xí)題4.3  4.4哈密頓圖 4.4.1哈密頓路 哈密頓圖的必要條件 4.4.2哈密頓圖的若干充分條件 習(xí)題4.4  4.5平面圖 4.5.1平面圖判定 庫拉托夫斯基判定準(zhǔn)則 4.5.2平面圖的歐拉公式 4.5.3平面圖的著色 習(xí)題4.5  4.6匹配 二部圖 習(xí)題4.6  4.7 Konig無限性引理 習(xí)題4.7  4.8網(wǎng)絡(luò)優(yōu)化算法 4.8.1單源最短路徑問題具體算法及實現(xiàn)和比較 4.8.2最大流問題具體算法及實現(xiàn)和比較 習(xí)題4.8  第五章數(shù)論基礎(chǔ) 5.1整除性 輾轉(zhuǎn)相除 5.1.1整除及其性質(zhì) 5.1.2輾轉(zhuǎn)相除 習(xí)題5.1  5.2互質(zhì) 質(zhì)因數(shù)分解 5.2.1整數(shù)互質(zhì) 5.2.2質(zhì)數(shù)與合數(shù) 算術(shù)基本定理 習(xí)題5.2  5.3合同 一次同余式 5.3.1合同及其性質(zhì) 5.3.2剩余類 一次同余式 習(xí)題5.3  5.4秦九韶定理 歐拉函數(shù) 5.4.1一次同余式組秦九韶定理 5.4.2一元高次同余式的化簡 5.4.3剩余系遍歷歐拉函數(shù) 習(xí)題5.4 5.5一元高次同余式 二次剩余 5.5.1一元高次同余式的解 5.5.2二次同余式 二次剩余 習(xí)題5.5  5.6數(shù)論在計算機(jī)通信安全中的應(yīng)用 5.6.1密碼系統(tǒng) 5.6.2愷撒密碼 5.6.3 Vigenere密碼 5.6.4希爾密碼 5.6.5 RSA公鑰系統(tǒng) 習(xí)題5.6  第六章群、環(huán)、域 6.1代數(shù)系統(tǒng) 習(xí)題6.1  6.2群的定義 6.2.1半群 6.2.2群 6.2.3群的性質(zhì) 6.2.4置換群 習(xí)題6.2  6.3子群及其陪集 6.3.1子群的定義 6.3.2子群的判別條件 6.3.3循環(huán)群 6.3.4陪集 習(xí)題6.3  6.4群的同態(tài)及同構(gòu) 6.4.1同態(tài)映射 6.4.2同構(gòu)映射 6.4.3同態(tài)核 習(xí)題6.4  6.5環(huán) 6.5.1環(huán)的定義及性質(zhì) 6.5.2環(huán)同態(tài) 習(xí)題6.5  6.6域的特征 素域 6.6.1域的特征 6.6.2素域 習(xí)題6.6  6.7多項式 6.7.1多項式的整除性 6.7.2多項式的根 6.7.3有理域上的多項式 6.7.4分圓多項式 習(xí)題6.7  6.8有限域 習(xí)題6.8  6.9群環(huán)域在計算機(jī)科學(xué)中的應(yīng)用 6.9.1計數(shù)問題 6.9.2糾錯碼 6.9.3多項式編碼方法及其實現(xiàn) 習(xí)題6.9  第七章格與布爾代數(shù) 7.1引言 7.2格的定義 習(xí)題7.2  7.3格的性質(zhì) 7.3.1對偶原理 7.3.2格的其他性質(zhì) 7.3.3格的同態(tài)與同構(gòu) 習(xí)題7.3  7.4幾種特殊的格 7.4.1有界格 7.4.2有余格 7.4.3分配格 7.4.4模格 習(xí)題7.4  7.5布爾代數(shù) 7.5.1布爾代數(shù)的定義及其性質(zhì) 7.5.2有限布爾代數(shù)的表示理論 7.5.3布爾代數(shù)的同態(tài)與同構(gòu) 習(xí)題7.5  7.6布爾表達(dá)式的化簡問題 習(xí)題7.6  7.7格與布爾代數(shù)在計算機(jī)科學(xué)中的應(yīng)用 7.7.1開關(guān)電路函數(shù) 7.7.2邏輯門 7.7.3全加器的邏輯設(shè)計 第八章語言和有限狀態(tài)機(jī) 8.1語言和語法 8.1.1語法結(jié)構(gòu)  8.1.2語法結(jié)構(gòu)的類型 8.1.3演繹樹 8.1.4巴克斯-諾爾形式 習(xí)題8.1  8.2帶有輸出的有限狀態(tài)機(jī) 習(xí)題8.2  8.3沒有輸出的有限狀態(tài)機(jī) 習(xí)題8.3  8.4語言識別 8.4.1正則集合  8.4.2克林定理 8.4.3其他幾種類型的有限狀態(tài)機(jī) 習(xí)題8.4  8.5圖靈機(jī) 習(xí)題8.5  參考文獻(xiàn)

章節(jié)摘錄

版權(quán)頁:   插圖:   結(jié)論:這樣的圖有兩類,或者都是偶數(shù)度點或者有兩個奇數(shù)度點。 現(xiàn)在再回頭來看對應(yīng)七橋問題的圖,所有的點都是奇數(shù)度點,共有4個,故這個圖肯定不能一筆畫成。因此歐拉指出上述所要求的散步路線是不存在的。 從數(shù)學(xué)的觀點看,圖的理論在開始時似乎價值不大,因為它所討論的內(nèi)容多為娛樂性的一些難題。但是近代的數(shù)學(xué)發(fā)展,特別是計算機(jī)學(xué)科誕生后的現(xiàn)代,圖與網(wǎng)絡(luò)作為一種工具在計算機(jī)科學(xué)與技術(shù)、信息、經(jīng)濟(jì)、工程和管理等諸多領(lǐng)域的應(yīng)用中發(fā)揮著重要的作用。 我們知道計算機(jī)中數(shù)據(jù)結(jié)構(gòu),離不開數(shù)組、串、各種鏈接表、樹和圖,因此圖是計算機(jī)中數(shù)據(jù)表示、存儲和運算的基礎(chǔ)。下面再看現(xiàn)實生活中關(guān)于圖與網(wǎng)絡(luò)的幾個小例子。 平面圖問題 在一塊地上蓋有3座房子,并且挖了3口井供房主人使用。由于土質(zhì)和氣候等關(guān)系,這些井中的這一個或那一個常常干枯。因此各座房子的主人有時要到這個井去打水,有時要到那個井去打水,3個井都可能需要去。不久,這3個房子的主人相互間變成了冤家,于是決定修建各家通往3個井的小道,使得他們在去3個井的途中不會相遇。你能否幫他們設(shè)計整個的小道路線,滿足他們的要求? 最優(yōu)支撐樹問題 某一地區(qū)有若干個主要城市,擬修建高速公路把這些城市連接起來,使得從其中任何一個城市都可以經(jīng)高速公路直接或間接到達(dá)另一個城市。假設(shè)已經(jīng)知道了任意兩個城市之間修建高速公路的成本,那么應(yīng)如何決定在哪些城市間修建高速公路,使得總成本最??? 最大流問題 假設(shè)從城市P到城市Q的一個公路網(wǎng),公路網(wǎng)中每段公路上每天可以通過的汽車的數(shù)量有上限,那么經(jīng)過該公路網(wǎng),每天最多可以有多少輛汽車從城市P到城市Q? 上述例子都易于用圖形的形式直觀地描述和表達(dá),在其中的最優(yōu)支撐樹問題和最大流問題中,每條路還標(biāo)有成本費用值和汽車流量這種權(quán)值,把這種加了權(quán)的圖形稱為網(wǎng)絡(luò)。為了討論方便,本章對圖和網(wǎng)絡(luò)不做嚴(yán)格區(qū)分。與圖和網(wǎng)絡(luò)相關(guān)的最優(yōu)化問題稱為網(wǎng)絡(luò)優(yōu)化問題,這在追求最低成本、獲取最高利潤、強(qiáng)化效率的市場經(jīng)濟(jì)時代,正獲得廣泛的應(yīng)用。

編輯推薦

《普通高等教育"十一五"國家級規(guī)劃教材?國家精品課程主講教材:離散數(shù)學(xué)結(jié)構(gòu)(第2版)》體系嚴(yán)謹(jǐn)、選材精練、深入淺出、例題豐富,可作為高等學(xué)校計算機(jī)及相關(guān)專業(yè)“離散數(shù)學(xué)”課程教材,也可供從事計算機(jī)研究工作的人員參考。

圖書封面

評論、評分、閱讀與下載


    普通高等教育"十一五"國家級規(guī)劃教材·國家精品課程主講教材 PDF格式下載


用戶評論 (總計0條)

 
 

 

250萬本中文圖書簡介、評論、評分,PDF格式免費下載。 第一圖書網(wǎng) 手機(jī)版

京ICP備13047387號-7