圖書信息
出版社: 西安電子科技大學出版社; 第3版 (2009年1月1日)
叢書名: 高等學校工科電子類規劃教材
平裝: 328頁
正文語種: 簡體中文
開本: 16
ISBN: 7560621570, 9787560621579
條形碼: 9787560621579
尺寸: 25.6 x 18.2 x 1.6 cm
重量: 499 g
內容簡介
《高等學校工科電子類規劃教材?離散數學》介紹計算機專業最需要的離散數學基礎知識，共8章，包括數理邏輯、集合、二元關係、函式、無限集合、代數、格與布爾代數、圖論等，並含有較多的與電腦科學和工程有關的例題和習題。
目錄
第一章 數理邏輯
1.1 命題
1.2 重言式
1.3 範式
1.4 聯結詞的擴充與歸約
1.5 推理規則和證明方法
1.6 謂詞和量詞
1.7 謂詞演算的永真公式
1.8 謂詞演算的推理規則
第二章 集合
2.1 集合論的基本概念
2.2 集合上的運算
2.3 歸納法和自然數
2.4 語言上的運算
2.5 集合的笛卡兒乘積
第三章 二元關係
3.1 基本概念
3.2 關係的合成
3.3 關係上的閉包運算
3.4 次序關係
3.5 等價關係和劃分
第四章 函式
4.1 函式的基本概念
4.2 特殊函式類
4.3 逆函式
第五章 無限集合
5.1 可數和不可數集合
5.2 基數的比較
5.3 基數算術
第六章 代數
6.1 代數結構
6.2 子代數
6.3 同態
6.4 同餘關係
6.5 商代數和積代數
6.6 半群和獨異點
6.7 群
6.8 環和域
第七章 格與布爾代數
7.1 格
7.2 格是代數系統
7.3 特殊的格
7.4 布爾代數
第八章 圖論
8.1 圖的基本概念
8.2 路徑和迴路
8.3 圖的矩陣表示
8.4 圖的支配集、獨立集團和覆蓋
8.5 二部圖
8.6 平面圖和圖的著色
8.7 樹
8.8 有向樹
8.9 運輸網路
參考文獻
