離散數(shù)學

定　價：￥18.00

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

購買這本書可以去

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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