離散數(shù)學(xué)

定　價(jià)：￥25.00

作　者：	朱廣萍主編
出版社：	北京理工大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	組合理論

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787564016609	出版時(shí)間：	2009-02-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	184	字?jǐn)?shù)：

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

　　《離散數(shù)學(xué)》分4篇，共10章。第1篇是數(shù)理邏輯，內(nèi)容包括命題邏輯和謂詞邏輯；第2篇是集合論，內(nèi)容包括集合、關(guān)系、函數(shù)、集合的基數(shù)；第3篇是代數(shù)系統(tǒng)，內(nèi)容包括代數(shù)系統(tǒng)的基本概念和性質(zhì)、群、環(huán)、域、格與布爾代數(shù)；第4篇是圖論，內(nèi)容包括圖的基本概念和性質(zhì)、幾類(lèi)重要的圖（樹(shù)、哈密爾頓圖、歐拉圖、平面圖等）。第10章給出了離散數(shù)學(xué)在計(jì)算機(jī)類(lèi)專業(yè)課程中的應(yīng)用。書(shū)中4部分各自成篇，在每篇開(kāi)始處都有知識(shí)背景的介紹，講解上可以根據(jù)情況調(diào)整先后順序。全書(shū)編寫(xiě)力求語(yǔ)言簡(jiǎn)練、通俗易懂，精簡(jiǎn)了繁雜的理論證明，只給出方法性較強(qiáng)的定理的證明，強(qiáng)化了邏輯推理及應(yīng)用內(nèi)容，各章都配有典型例子和適量的習(xí)題，便于讀者理解和掌握內(nèi)容。附錄給出了本書(shū)中常見(jiàn)的符號(hào)及其說(shuō)明?！峨x散數(shù)學(xué)》可作為高校計(jì)算機(jī)及相關(guān)專業(yè)的教材，也可供技術(shù)人員學(xué)習(xí)參考。

作者簡(jiǎn)介

暫缺《離散數(shù)學(xué)》作者簡(jiǎn)介

圖書(shū)目錄

第1篇數(shù)理邏輯
第1章命題邏輯
1.1 命題及其表示法
1.2 命題聯(lián)結(jié)詞
1.3 命題公式與賦值
1.4 真值表與等價(jià)公式
1.5 對(duì)偶與范式
1.6 公式的蘊(yùn)涵
1.7 其他聯(lián)結(jié)詞與最小聯(lián)結(jié)詞組
1.8 命題邏輯推理理論
第2章謂詞邏輯
2.1 謂詞邏輯的基本概念、謂詞邏輯命題符號(hào)化
2.2 謂詞公式及其解釋
2.3 謂詞公式的等價(jià)與蘊(yùn)涵
2.4 范式
2.5 謂詞演算的推理理論
第2篇集合論
第3章集合
3.1 集合的概念與表示
3.2 集合的運(yùn)算
3.3 包含排斥原理
第4章關(guān)系
4.1 序偶與笛卡兒積
4.2 二元關(guān)系及其表示
4.3 關(guān)系的運(yùn)算
4.4 關(guān)系的性質(zhì)
4.5 關(guān)系的閉包運(yùn)算
4.6 等價(jià)關(guān)系與集合的劃分
4.7 相容關(guān)系
4.8 次序關(guān)系
第5章函數(shù)
5.1 函數(shù)的概念
5.2 復(fù)合函數(shù)與逆函數(shù)
第6章集合的基數(shù)
6.1 基數(shù)的概念
6.2 可數(shù)集和不可數(shù)集
6.3 基數(shù)的比較
第3篇代數(shù)系統(tǒng)
第7章代數(shù)系統(tǒng)
7.1 代數(shù)系統(tǒng)基本概念
7.2 半群和獨(dú)異點(diǎn)
7.3 群
7.4 環(huán)與域
7.5 格與布爾代數(shù)
第4篇圖論
第8章圖的基本概念
8.1 圖的基本概念
8.2 圖的連通性
8.3 圖的矩陣表示
第9章特殊圖及其應(yīng)用
9.1 歐拉圖與哈密爾頓圖及其應(yīng)用
9.2 樹(shù)的概念、性質(zhì)及應(yīng)用
9.3 二部圖、平面圖及其應(yīng)用
第10章離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用
10.1 離散數(shù)學(xué)在關(guān)系數(shù)據(jù)庫(kù)中的應(yīng)用
10.2 謂詞邏輯與邏輯程序設(shè)計(jì)語(yǔ)言
10.3 信息流的格模型
自測(cè)題
自測(cè)題二
附錄常用符號(hào)一覽表
自測(cè)題一參考答案與評(píng)分標(biāo)準(zhǔn)
自測(cè)題二參考答案與評(píng)分標(biāo)準(zhǔn)
參考文獻(xiàn)