出版時間:2006-6 出版社:武漢大學(xué)出版社 作者:魏長華、王光明、魏媛媛 頁數(shù):370
Tag標(biāo)簽:無
內(nèi)容概要
《離散數(shù)學(xué)及其應(yīng)用》介紹離散數(shù)學(xué)的基本知識,包括數(shù)理邏輯、集合論、抽象代數(shù)、格和布爾代數(shù),以及圖論等。本書的特點注重于如何通過有關(guān)的數(shù)學(xué)理論、方法和技術(shù)去解決計算機(jī)科學(xué)中的實際應(yīng)用問題。為此,本書力求做到理論的敘述與例題演算的有機(jī)結(jié)合,而且書中大量的例題都來自于計算機(jī)科學(xué)各領(lǐng)域中的實際問題,能使讀者有真實感,同時,讀者可以從這些例題中領(lǐng)悟到數(shù)學(xué)與計算機(jī)科學(xué)之間的密切關(guān)系。本書適合于高等院校計算機(jī)專業(yè)的本科生、研究生用作教材,同時也可供從事計算機(jī)應(yīng)用開發(fā)的計算機(jī)專業(yè)工程技術(shù)人員參考。
書籍目錄
第1章 數(shù)理邏輯1.1命題演算1.2重言式1.3范式1.4編譯技術(shù)中波蘭式與逆波蘭式的表示1.5命題演算的推理理論1.6謂詞演算1.7謂詞演算的推理理論1.8謂詞演算在人工智能中的應(yīng)用第2章 集合論2.1集合論的基本概念2.2集合的運算及文氏圖2.3關(guān)系和偏序2.4函數(shù)2.5遞歸函數(shù)第3章 抽象代數(shù)3.1代數(shù)系統(tǒng)及其運算3.2同構(gòu)和同態(tài)3.3同余3.4積代數(shù)3.5半群和獨異點3.6群3.7群碼與糾錯碼第4章 格和布爾代數(shù)4.1格的概念4.2格的性質(zhì)4.3格是一種代數(shù)系統(tǒng)4.4子格、直積和同態(tài)4.5幾種特殊的格4.6布爾代數(shù)4.7布爾表達(dá)式和布爾函數(shù)4.8布爾代數(shù)在邏輯電路設(shè)計中的應(yīng)用第5章 圖論5.1圖的基本概念5.2圖的矩陣表示5.3平面圖5.4樹5.5圖論在計算機(jī)科學(xué)中的應(yīng)用
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載
離散數(shù)學(xué)及其應(yīng)用 PDF格式下載