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

定　價：￥18.00

作　者：	王雙
出版社：	哈工大
叢編項：
標(biāo)　簽：	數(shù)學(xué)

購買這本書可以去

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

ISBN：	9787560323862	出版時間：	2006-09-01	包裝：	膠版紙
開本：	0開	頁數(shù)：	160	字?jǐn)?shù)：

內(nèi)容簡介

　　離散數(shù)學(xué)是計算機科學(xué)與技術(shù)的理論基礎(chǔ)。本書系統(tǒng)地介紹了離散數(shù)學(xué)的最基本內(nèi)容。全書共分為三部分：第一部分?jǐn)?shù)理邏輯，介紹命題演算及其形式系統(tǒng)，謂詞演算及其形式系統(tǒng)；第二部分集合化，介紹集合、關(guān)系、函數(shù)以及集合的數(shù)等內(nèi)容；第三部分圖論，介紹圖的概念、歐拉圖、哈密爾頓圖、二部圖、平面圖、樹等內(nèi)容。本書內(nèi)容深入淺出，簡明扼要，以理論聯(lián)系實際為目的。書中選擇典型例題講解，每章后均配有適量習(xí)題，幫助鞏固所學(xué)知識。本書可作為應(yīng)用型本科及高職高專計算機及其相關(guān)專業(yè)的教材，也可供相關(guān)專業(yè)人員學(xué)習(xí)參考。

作者簡介

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

圖書目錄

第一部分數(shù)理邏輯
第1章命題演算及其形式系統(tǒng)
1.1 命題與聯(lián)結(jié)詞
1.2 重言式
1.3 范式
1.4 命題演算形式系統(tǒng)
本章小結(jié)
習(xí)題
第2章謂詞演算及其形式系統(tǒng)
2.1 個體、謂詞和量詞
2.2 謂詞演算永真式
2.3 謂詞公式的前束范式
2.4 一階訵詞演算形式系統(tǒng)
本章小結(jié)
習(xí)題
第二部分集合論
第3章集合
3.1 集合的概念與表示
3.2 集合之間的關(guān)系
3.3 集合運算
3.4 包含排斥原理
本章小結(jié)
習(xí)題
第4章關(guān)系
4.1 序偶與笛卡爾積
4.2 二元關(guān)系及其表示
4.3 關(guān)系的運算
4.4 關(guān)系的性質(zhì)
4.5 關(guān)系的閉包
4.6 等價關(guān)系與集合的劃分
4.7 相容關(guān)系
4.8 偏序關(guān)系與哈斯圖
本章小結(jié)
習(xí)題
第5章函數(shù)
5.1 函數(shù)的概念
5.2 復(fù)合函數(shù)與逆函數(shù)
本章小結(jié)
習(xí)題
第6章集合的基數(shù)
6.1 基數(shù)的概念
6.2 可數(shù)集和不可數(shù)集
6.3 基數(shù)的比較
本章小結(jié)
習(xí)題
第三部分圖論
第7章圖的基本概念
7.1 無向圖及有向圖
7.2 通路、回路、圖的連通性
7.3 圖的矩陣表示
7.4 最短路徑及關(guān)鍵路徑
本章小結(jié)
習(xí)題
第8章一些特殊的圖
8.1 二部圖
8.2 歐拉圖
8.3 哈密爾頓圖
8.4 平面圖
本章小結(jié)
習(xí)題
第9章樹
9.1 無向樹及生成樹
9.2 根樹及其應(yīng)用
本章小結(jié)
習(xí)題
參考文獻