本書介紹計算機專業最需要的離散數學基礎知識，共分八章，2000年2月北京理工大學出版社出版的書籍，作者陶濤。
基本介紹
- 中文名：離散數學
- 作者：陶濤
- 出版時間：2000年2月
- 出版社：北京理工大學出版社
- 頁數：406 頁
- ISBN：9787810131742
- 定價：15.60 元
- 裝幀：平裝
內容簡介,圖書目錄,
內容簡介
本書介紹計算機專業最需要的離散數學基礎知識，共分八章，包括集合、二元關係、函式、代數結構簡介、命題邏輯、謂詞演算、格和布爾代數、圖論等基本內容。敘述深入淺出，書中列舉了較多的例題，每節後面都附有一定數量習題，每章後都有小結便於總結提高。本書是中等專業學校統編教材，也可供有關人員自學參考。
圖書目錄
第一章 集合
1-1 集合與元素
1-2 集合的包含與相等
1-3 冪集
1-4 集合運算
1-5 笛卡爾積
小結
第二章 二元關係
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 子群與環
4-4 同態和同構
小結
第五章 格和布爾代數
5-1 格和布爾代數
5-2 格的定義
5-3 格的性質與特殊格
5-4 布爾代數簡介
小結
第六章 命題邏輯
6-1 命題
6-2 命題公式及翻譯
6-3 命題定律
6-4 基本聯結詞和蘊含關係
6-5 範式
6-6 命題演算的推理論
小結
第七章 謂詞演算
7-1 謂詞和量詞
7-2 謂詞公式
7-3 謂詞演算的等價與蘊含式
7-4 謂詞演算的推理理論
小結
第八章 圖論初步
8-1 圖的基本概念
8-2 路與迴路
8-3 鄰接矩陣和關聯矩陣
8-4 歐拉圖
8-5 哈密爾頓圖
8-6 平面圖及偶圖
8-7 對偶圖與圖的著色
8-8 樹
小結
參考文獻
