出版社：電子工業出版社 ISBN：9787121085383 商品編碼：51042586283 包裝：平裝 開本：16 出版時間：2013-01-01 代碼：33 作者：邵學纔,葉秀明著
"
內容介紹
離散數學是計算機學科重要的基礎課程，本書是作者多年教學經驗的總結，全書內容包括：集關繫、函數、代數結構（群、環、域、格和布爾代數）、圖論、命題邏輯和謂詞邏輯。本書結構清晰，概念準確，敘述嚴謹，有層次地精選了豐富的例題，各章節還配有適量的習題，幫助讀者鞏固和掌握所學知識。本書還為任課老師提供電子課件和習題選解。 本書可作為高等學校計算機、信息管理與信息繫統、信息與計算科學等專業教材，也適合工程技術人員和自學者參加。
目錄
D1章 1.1集合的基本概念
1.1.1集合的表示方法
1.1.2子集
1.1.3全集和補集
1.1.4冪集
習題
1.2集合的基本運算
1.2.1並和交
1.2.2差和對稱差
習題
1.3包含排斥原理
習題
D2關繫
2.關繫及其表示形式
2.1.1引言
2.1.2集合的笛卡兒乘積
2.1.關繫的三種表示方法
習題
2.關繫的基本類型與判定方法
2.2.1關繫的基本類型
2.2.2可傳遞性的判定方法
習題
2.3等價關繫、相容關繫和偏序關繫
2.3.1等價關繫的定義
2.3.2等價關繫的特征
2.3.3等價類和商集
2.3.4集合的劃分
2.3.5相容關繫
2.3.6覆蓋和WQ覆蓋
2.3.7相容類和Z大相容類
2.3.8偏序關繫
習題
2.4復合關繫、逆關繫和關繫的閉包運算
2.4.1復合關繫
2.4.2逆關繫
2.4.3關繫的閉包運算
習題
D3章函數
3.1函數的定義與特殊函數
3.1.1函數的定義
3.1.2特殊函數
習題
3.2復合函數與逆函數
習題
D4章代數結構
4.1代數繫統
4.1.1代數繫統的基本概念
4.1.2特殊運算素
4.1.3同構
4.1.4同態
習題
4.2半群與D異點
4.2.1半群與子半群
4.2.2D異點與子D異點
習題
4.3群
4.3.1群的定義
4.3.2群的性質
習題
4.4子群
4.4.1子群的定義
4.4.2素的階數
習題
4.5循環群
4.5.1循環群的定義
4.5.2循環群的性質
習題
4.6置換群
習題
4.7陪集和拉格朗日定理
4.7.1陪集
4.7.2拉格朗日定理
習題
4.8群同態
4.8.1同餘關繫與商代數
4.8.2同餘與同態
4.8.3群的同態與同餘
習題
4.9群碼
4.10環和域
4.10.1環
……
D5章圖論
D6章命題邏輯
D7章謂詞邏輯
參考文獻 顯示全部信息
" | 
