相關商品
商品簡介
目次
商品簡介
離散數學和計算機科學關系密切。本書系統地介紹了離散數學的基礎理論，闡述了各個分支之間的聯系，還說明了它在計算機中的應用。主要內容包括：集合論、關系、映射和無限集、近世代數、圖論、命題邏輯、謂詞邏輯、命題邏輯和謂詞邏輯的公理化理論、離散數學在計算機中的應用。章末附有復習提綱及習題，書末附有各章習題解答。 本書適合作為計算機及相關專業的學生和自學考試者的教材，也可供從事計算機和數學方面研究的科技工作者和教師學習參考。
目次
第一章 集合論
1.1 集合和元素的概念
1.2 集合的子集
1.3 全集和空集
1.4 集合的運算、文氏圖
1.5 有限集合中的元素數目
習題一
第二章 關系的基本概念
2.1 關系的基本概念
2.2 關系的性質
2.3 關系的運算
2.4 關系的閉包運算
2.5 具有特定性質的關系
習題二
第三章 映射與無限集
3.1 映射
3.2 無限集
習題三
第四章 近世代數
4.1 代數運算
4.2 代數系統
4.3 同態和同構
4.4 半群和單元半域
4.5 群論
4.6 環、理想、整環和域
習題四
第五章 圖論
5.1 圖的基本概念
5.2 連通性
5.3 圖的矩陣表示
5.4 權圖、最小權通路和最小權回路
5.5 二分圖
5.6 平面圖
5.7 四色圖
5.8 樹
5.9 有向圖
習題五
第六章 命題邏輯
6.1 命題與命題聯結詞
6.2 命題公式
6.3 重言式
6.4 范式
習題六
第七章 謂詞邏輯
7.1 謂詞邏輯的基本概念
7.2 謂詞邏輯公式及其基本永真公式
……
第八章 命題邏輯與謂詞邏輯的公理化理論
第九章 離散數學在計算機科學中的應用
習題解答
參考文獻
1.1 集合和元素的概念
1.2 集合的子集
1.3 全集和空集
1.4 集合的運算、文氏圖
1.5 有限集合中的元素數目
習題一
第二章 關系的基本概念
2.1 關系的基本概念
2.2 關系的性質
2.3 關系的運算
2.4 關系的閉包運算
2.5 具有特定性質的關系
習題二
第三章 映射與無限集
3.1 映射
3.2 無限集
習題三
第四章 近世代數
4.1 代數運算
4.2 代數系統
4.3 同態和同構
4.4 半群和單元半域
4.5 群論
4.6 環、理想、整環和域
習題四
第五章 圖論
5.1 圖的基本概念
5.2 連通性
5.3 圖的矩陣表示
5.4 權圖、最小權通路和最小權回路
5.5 二分圖
5.6 平面圖
5.7 四色圖
5.8 樹
5.9 有向圖
習題五
第六章 命題邏輯
6.1 命題與命題聯結詞
6.2 命題公式
6.3 重言式
6.4 范式
習題六
第七章 謂詞邏輯
7.1 謂詞邏輯的基本概念
7.2 謂詞邏輯公式及其基本永真公式
……
第八章 命題邏輯與謂詞邏輯的公理化理論
第九章 離散數學在計算機科學中的應用
習題解答
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。