離散數(shù)學(xué)及其應(yīng)用

內(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格式下載

---