離散數(shù)學(xué)及其在計(jì)算機(jī)中的應(yīng)用

定　價(jià)：￥17.00

作　者：	徐潔磐等編著
出版社：	人民郵電出版社
叢編項(xiàng)：
標(biāo)　簽：	離散數(shù)學(xué)

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥13.40)

ISBN：	9787115064042	出版時(shí)間：	1997-01-01	包裝：
開(kāi)本：	20cm	頁(yè)數(shù)：	326	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　離散數(shù)學(xué)和計(jì)算機(jī)科學(xué)關(guān)系密切。本書系統(tǒng)地介紹了離散數(shù)學(xué)的基礎(chǔ)理論，闡述了各個(gè)分支之間的聯(lián)系，還說(shuō)明了它在計(jì)算機(jī)中的應(yīng)用。主要內(nèi)容包括：集合論、關(guān)系、映射和無(wú)限集、近世代數(shù)、圖論、命題邏輯、謂詞邏輯、命題邏輯和謂詞邏輯的公理化理論、離散數(shù)學(xué)在計(jì)算機(jī)中的應(yīng)用。章末附有習(xí)題。本書適合作為計(jì)算機(jī)專業(yè)的學(xué)生和自學(xué)考試者的教材，也可供從事計(jì)算機(jī)和數(shù)學(xué)方面研究的科技工作和教師學(xué)習(xí)參考。

作者簡(jiǎn)介

暫缺《離散數(shù)學(xué)及其在計(jì)算機(jī)中的應(yīng)用》作者簡(jiǎn)介

圖書目錄

第一章  集合論
1  集合和元素的概念
2  集合的子集
3  全集和空集
4  集合的運(yùn)算. 文氏圖
5  有限集合中的元素?cái)?shù)目
習(xí)題一
第二章  關(guān)系
1  關(guān)系的基本概念
2  關(guān)系的性質(zhì)
3  關(guān)系的運(yùn)算
4  關(guān)系的閉包運(yùn)算
5  具有特定性質(zhì)的關(guān)系
習(xí)題二
第三章  映射與無(wú)限集
1  映射
2  無(wú)限集
習(xí)題三
第四章  近世代數(shù)
1  代數(shù)運(yùn)算
2  代數(shù)系統(tǒng)
3  同態(tài)和同構(gòu)
4  半群和單元半群
5  群論
6  環(huán), 理想, 整環(huán)和域
7  偏序集和格
習(xí)題四
第五章  圖論
1  圖的基本概念
2  連通性
3  圖的矩陣表示
4  權(quán)圖, 最小權(quán)通路和最小權(quán)回路
5  二分圖
6  平面圖
7  四色圖
8  樹(shù)
9  有向圖
習(xí)題五
第六章  命題邏輯
1  命題與命題聯(lián)結(jié)詞
2  命題公式
3  重言式
4  范式
習(xí)題六
第七章  謂詞邏輯
1  謂詞邏輯的基本概念
2  謂詞邏輯公式及其基本永真公式
3  前束范式與斯科林范式
4  函數(shù)
習(xí)題七
第八章  命題邏輯與謂詞邏輯的公理化理論
1  公理化理論的基本思想
2  命題邏輯的公理系統(tǒng)
3  謂詞邏輯的公理系統(tǒng)
習(xí)題八
第九章  離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用
1  離散數(shù)學(xué)在關(guān)系數(shù)據(jù)庫(kù)中的應(yīng)用
2  離散數(shù)學(xué)與糾錯(cuò)碼
3  謂詞邏輯與邏輯程序設(shè)計(jì)語(yǔ)言