普通高等學(xué)!笆晃濉币(guī)劃教材:離散數(shù)學(xué)基礎(chǔ)(第2版)
定 價(jià):15 元
- 作者:王傳玉 著
- 出版時(shí)間:2010/9/1
- ISBN:9787312027345
- 出 版 社:中國(guó)科學(xué)技術(shù)大學(xué)出版社
- 中圖法分類:O158
- 頁(yè)碼:185
- 紙張:膠版紙
- 版次:2
- 開本:32開
離散數(shù)學(xué),是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支,是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程。離散數(shù)學(xué)是隨著計(jì)算機(jī)科學(xué)的發(fā)展而逐步建立的。它形成于20世紀(jì)70年代初期,是一門新興的工具性學(xué)科。為適應(yīng)計(jì)算機(jī)科學(xué)教學(xué)的需要,組織編寫了這本理工科院校計(jì)算機(jī)專業(yè)適用的基礎(chǔ)教材。
內(nèi)容包括:數(shù)理邏輯;謂詞邏輯;集合代數(shù);二元關(guān)系;函數(shù);代數(shù)結(jié)構(gòu);格與布爾代數(shù);圖論等。
《離散數(shù)學(xué)基礎(chǔ)(第2版)》特色是內(nèi)容實(shí)用,敘述簡(jiǎn)捷,實(shí)例突出,非常適合大專院校師生和有關(guān)科技人員使用。
前言
第l章 數(shù)理邏輯
1.1 命題與邏輯聯(lián)結(jié)詞
1.2 命題公式
1.3 真值表和等價(jià)公式
1.4蘊(yùn)含式
1.5 其他聯(lián)結(jié)詞
1.6 對(duì)偶與范式
1.7 推理理論
第2章 謂詞邏輯
2.1 謂詞的概念與表示
2.2 命題函數(shù)與量詞
2.3 謂詞公式與變?cè)募s束
2.4 謂詞演算的等價(jià)式與蘊(yùn)含式
2.5 謂詞演算的推理理論
第3章 集合代數(shù)
3.1 集合的基本概念
3.2 集合的計(jì)數(shù)
第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)系
第5章函數(shù)
5.1函數(shù)的概念
5.2函數(shù)的復(fù)合與反函數(shù)
第6章 代數(shù)結(jié)構(gòu)
6.1 二元運(yùn)算及其性質(zhì)
6.2 代數(shù)系統(tǒng)
6.3 半群
6.4 群
6.5 子群
6.6 陪集與格拉朗日定理
6.7 群的同態(tài)與同構(gòu)
6.8 環(huán)與域
第7章 格與布爾代數(shù)
7.1 格的概念
7.2 分配格與有補(bǔ)格
7.3布爾代數(shù)
第8章 圖論
8.1 圖的基本概念
8.2 路徑與回路
8.3 圖的矩陣表示
8.4 歐拉圖與哈密爾頓圖
8.5 二部圖
8.6 平面圖
8.7 樹
符號(hào)表
參考文獻(xiàn)