離散數(shù)學(xué)及其應(yīng)用（大學(xué)數(shù)學(xué)系列教材）

定　價：￥20.00

作　者：	魏長華、王光明、魏媛媛
出版社：	武漢大學(xué)出版社
叢編項：
標(biāo)　簽：	離散數(shù)學(xué)

購買這本書可以去

ISBN：	9787307051843	出版時間：	2006-06-01	包裝：	平裝
開本：	32	頁數(shù)：	370	字?jǐn)?shù)：

內(nèi)容簡介

　　本書介紹離散數(shù)學(xué)的基本知識，包括數(shù)理邏輯、集合論、抽象代數(shù)、格和布爾代數(shù)，以及圖論等。本書的特點并不苛求從數(shù)學(xué)的邏輯性和嚴(yán)密性上去論述所涉及的數(shù)學(xué)理論知識，而是注重于這些數(shù)學(xué)知識對于計算機(jī)科學(xué)諸領(lǐng)域中所起的應(yīng)用作用。也就是說，注重于如何通過有關(guān)的數(shù)學(xué)理論、方法和技術(shù)去解決計算機(jī)科學(xué)中的實際應(yīng)用問題。為此，本書力求做到理論的敘述與例題演算的有機(jī)結(jié)合，而且書中大量的例題都來自于計算機(jī)科學(xué)各領(lǐng)域中的實際問題，能使讀者有真實感，同時，讀者可以從這些例題中領(lǐng)悟到數(shù)學(xué)與計算機(jī)科學(xué)之間的密切關(guān)系。本書的醞釀構(gòu)思、撰寫工作歷時近10年，可以說它是編者多年從事計算機(jī)科學(xué)教學(xué)和科研的一個經(jīng)驗匯報，是給讀者的一份奉獻(xiàn)。本書適合于高等院校計算機(jī)專業(yè)的本科生、研究生用作教材，同時也可供從事計算機(jī)應(yīng)用開發(fā)的計算機(jī)專業(yè)工程技術(shù)人員參考。

作者簡介

暫缺《離散數(shù)學(xué)及其應(yīng)用（大學(xué)數(shù)學(xué)系列教材）》作者簡介

圖書目錄

第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　群碼與糾錯碼
弟四章　格和布爾代數(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)用