離散數(shù)學

定　價：￥20.00

作　者：	景曉軍、孫松林、高玉芳
出版社：	北京郵電大學出版社
叢編項：	21世紀高等院校計算機科學與技術(shù)系列教材
標　簽：	離散數(shù)學

購買這本書可以去

當當網(wǎng) (￥16.00)

ISBN：	9787563512911	出版時間：	2006-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	190	字數(shù)：

內(nèi)容簡介

　　本書作為計算機科學與技術(shù)專業(yè)的基礎(chǔ)教材，主要介紹離散數(shù)學的基礎(chǔ)知識。全書共分四部分，第一部分為數(shù)理邏輯，包括命題邏輯與謂詞邏輯；第二部分為集合論，包括集合、二元關(guān)系與函數(shù)；第三部分為代數(shù)結(jié)構(gòu)，主要介紹代數(shù)系統(tǒng)的基本概念與性質(zhì)，群、環(huán)和域，格及布爾代數(shù)；第四部分為圖論，包括圖的基本概念、一些特殊圖及樹。.本書凝聚了作者多年教學經(jīng)驗的結(jié)晶，行文概念清晰、敘述嚴謹、內(nèi)容翔實而又重點突出，是一本難得的上佳之作。本書既可作為高等院校計算機科學與技術(shù)及相關(guān)專業(yè)的本、?？平滩?，也可供相關(guān)專業(yè)的自學考試人員、科研人員等參考。

作者簡介

暫缺《離散數(shù)學》作者簡介

圖書目錄

第一篇數(shù)理邏輯.
第章命題邏輯
1. 1 命題與聯(lián)結(jié)詞
1. 2 命題公式及其分類
1. 3 等值演算
1. 4 聯(lián)結(jié)詞全功能集
1. 5 范式
1. 6 對偶式與蘊涵式
1. 7 命題邏輯的推理理論
習題
第2章謂詞邏輯
2. 1 謂詞邏輯基本概念
2. 2 謂詞公式及其解釋
2. 3 謂詞邏輯等值式
2. 4 前束范式
2. 5 謂詞邏輯的推理理論
習題
第二篇集合論
第3章集合
3. 1 集合的基本概念
3. 2 集合與集合的關(guān)系
3. 3 集合的基本運算
3. 4 集合中元素的計數(shù)
習題
第4章二元關(guān)系
4. 1 集合的笛卡兒積
4. 2 關(guān)系的基本概念
4. 3 關(guān)系的性質(zhì)
4. 4 關(guān)系的運算
4. 5 關(guān)系的閉包運算
4. 6 等價關(guān)系和劃分
4. 7 偏序關(guān)系
4. 8 函數(shù)的基本概念
4. 9 函數(shù)的運算
習題
第三篇代數(shù)結(jié)構(gòu)..
第5章代數(shù)系統(tǒng)
5. 1 代數(shù)系統(tǒng)的基本概念
5. 2 二元運算的性質(zhì)
5. 3 子代數(shù)與積代數(shù)
5. 4 代數(shù)系統(tǒng)的同態(tài)與同構(gòu)
習題
第6章典型代數(shù)系統(tǒng)
6. 1 半群與獨異點
6. 2 群
6. 3 環(huán)與域
6. 4 格與布爾代數(shù)
習題
第四篇圖  論
第7章圖
7. 1 圖的基本概念
7. 2 回路與連通性
7. 3 圖的矩陣表示
7. 4 最短路徑及關(guān)鍵路徑
習題
第8章特殊的圖
8. 1 歐拉圖
8. 2 哈密爾頓圖
8. 3 偶圖與匹配
8. 4 平面圖
習題
第9章樹
9. 1 無向樹
9. 2 生成樹與最小生成樹
9. 3 根樹
習題
參考文獻