91在线亚洲,精品国产高清免费在线观看

內(nèi)容簡介

　　本書介紹離散數(shù)學(xué)的基本知識(shí)，包括數(shù)理邏輯、集合論、抽象代數(shù)、格和布爾代數(shù)，以及圖論等。本書的特點(diǎn)并不苛求從數(shù)學(xué)的邏輯性和嚴(yán)密性上去論述所涉及的數(shù)學(xué)理論知識(shí)，而是注重于這些數(shù)學(xué)知識(shí)對(duì)于計(jì)算機(jī)科學(xué)諸領(lǐng)域中所起的應(yīng)用作用。也就是說，注重于如何通過有關(guān)的數(shù)學(xué)理論、方法和技術(shù)去解決計(jì)算機(jī)科學(xué)中的實(shí)際應(yīng)用問題。為此，本書力求做到理論的敘述與例題演算的有機(jī)結(jié)合，而且書中大量的例題都來自于計(jì)算機(jī)科學(xué)各領(lǐng)域中的實(shí)際問題，能使讀者有真實(shí)感，同時(shí)，讀者可以從這些例題中領(lǐng)悟到數(shù)學(xué)與計(jì)算機(jī)科學(xué)之間的密切關(guān)系。本書的醞釀構(gòu)思、撰寫工作歷時(shí)近10年，可以說它是編者多年從事計(jì)算機(jī)科學(xué)教學(xué)和科研的一個(gè)經(jīng)驗(yàn)匯報(bào)，是給讀者的一份奉獻(xiàn)。本書適合于高等院校計(jì)算機(jī)專業(yè)的本科生、研究生用作教材，同時(shí)也可供從事計(jì)算機(jī)應(yīng)用開發(fā)的計(jì)算機(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 集合的運(yùn)算及文氏圖
　2.3 關(guān)系和偏序
2.4 函數(shù)
2.5 遞歸函數(shù)
第3章抽象代數(shù)
3.1 代數(shù)系統(tǒng)及其運(yùn)算
3.2 同構(gòu)和同態(tài)
3.3 同余
3.4 積代數(shù)
　3.5　半群和獨(dú)異點(diǎn)
　3.6　群
　3.7　群碼與糾錯(cuò)碼
弟四章　格和布爾代數(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è)計(jì)中的應(yīng)用　
第5章　圖論
　5.1　圖的基本概念
　5.2　圖的矩陣表示
　5.3　平面圖
　5.4　樹
　5.5　圖論在計(jì)算機(jī)科學(xué)中的應(yīng)用