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