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

定　價：￥17.00

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

購買這本書可以去

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第一章  集合論
1  集合和元素的概念
2  集合的子集
3  全集和空集
4  集合的運算. 文氏圖
5  有限集合中的元素數(shù)目
習(xí)題一
第二章  關(guān)系
1  關(guān)系的基本概念
2  關(guān)系的性質(zhì)
3  關(guān)系的運算
4  關(guān)系的閉包運算
5  具有特定性質(zhì)的關(guān)系
習(xí)題二
第三章  映射與無限集
1  映射
2  無限集
習(xí)題三
第四章  近世代數(shù)
1  代數(shù)運算
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  樹
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é)在計算機科學(xué)中的應(yīng)用
1  離散數(shù)學(xué)在關(guān)系數(shù)據(jù)庫中的應(yīng)用
2  離散數(shù)學(xué)與糾錯碼
3  謂詞邏輯與邏輯程序設(shè)計語言