相關商品
商品簡介
名人/編輯推薦
目次
商品簡介
陳建明、曾明、劉國榮編著的《離散數學(第3版)》系統地介紹了各種離散的數學結構，其中包括數理邏輯、集合論、代數系統和圖論的基本內容。本書以證明方法和證明過程為重點，以關系的理念貫穿全書。在編寫過程中力求內容精練、重點突出、深入淺出，有助于讀者自我學習。書中內容可滿足計算機專業後繼課程的需要。
《離散數學(第3版)》可作為計算機軟件專業、計算機通信專業、計算機制造專業和各類相關信息專業的本科生“離散數學”課程的教科書及教學參考書，同時也可供有關考研人員和自考人員學習和參考。
《離散數學(第3版)》可作為計算機軟件專業、計算機通信專業、計算機制造專業和各類相關信息專業的本科生“離散數學”課程的教科書及教學參考書，同時也可供有關考研人員和自考人員學習和參考。
名人/編輯推薦
陳建明、曾明、劉國榮編著的《離散數學(第3版)》由集合論、代數系統、圖論、數理邏輯、關于證明五部分組成。適用于理工科大學計算機專業，也可供其他專業使用。
在教材內容的安排上，力求做到選材既能滿足計算機專業後繼課程的需要，又比較精練。同時，考慮到計算機科學與技術發展對數理邏輯的要求，在教材中加強了數理邏輯部分，而且在形式推理部分采用了比較嚴格的符號規則，避開了P規則和T規則。我們認為這樣的處理便于讀者清楚地理解和掌握數理邏輯的形式推理過程。
在教材內容的安排上，力求做到選材既能滿足計算機專業後繼課程的需要，又比較精練。同時，考慮到計算機科學與技術發展對數理邏輯的要求，在教材中加強了數理邏輯部分，而且在形式推理部分采用了比較嚴格的符號規則，避開了P規則和T規則。我們認為這樣的處理便于讀者清楚地理解和掌握數理邏輯的形式推理過程。
目次
第一部分 數理邏輯
第1章 命題演算
1.1 命題與真值聯結詞
1.2 命題公式與真假性
1.3 命題公式間的邏輯等價關系
1.4 命題公式間的邏輯蘊涵關系
1.5 對偶定理
1.6 命題演算的形式推理
習題一
第2章 謂詞演算
2.1 謂詞與量詞
2.2 謂詞公式與真假性
2.3 謂詞公式間的邏輯等價關系
2.4 謂詞公式間的邏輯蘊涵關系
2.5 謂詞演算的形式推理
習題二
數理邏輯的興起與展望
第二部分 集合論
第3章 集合
3.1 集合的基本概念
3.2 集合的基本運算
3.3 集合的宏運算
3.4 集合運算的其他表示法
習題三
第4章 關系
4.1 集合的又積
4.2 關系
4.3 關系的運算
4.4 二元關系的基本性質
4.5 等價關系
4.6 半序關系
習題四
第5章 函數
5.1 函數的基本概念
5.2 函數的性質
5.3 集合的基數
5.4 原始遞歸函數
5.5 可計算函數
習題五
集合論的歷史
第三部分 代數系統
第6章 代數系統
6.1 代數系統的基本概念
6.2 代數系統的同構與同態
6.3 半群
6.4 群
6.5 環
6.6 域
習題六
第7章 格與布爾代數
7.1 格
7.2 布爾代數
習題七
代數系統的歷史
第四部分 圖論
第8章 圖論
8.1 圖論一瞥
8.2 圖的基本概念
8.3 路與圈
8.4 圖的矩陣表示
8.5 帶權圖的最短路徑
8.6 Euler圖
8.7 Hamilton圖
8.8 二分圖
8.9 平面圖
8.10 樹
習題八
圖論的歷史
第五部分 關于證明
第9章 證明方法與證明過程
9.1 基本概念
9.2 證明方法和證明過程
參考文獻
第1章 命題演算
1.1 命題與真值聯結詞
1.2 命題公式與真假性
1.3 命題公式間的邏輯等價關系
1.4 命題公式間的邏輯蘊涵關系
1.5 對偶定理
1.6 命題演算的形式推理
習題一
第2章 謂詞演算
2.1 謂詞與量詞
2.2 謂詞公式與真假性
2.3 謂詞公式間的邏輯等價關系
2.4 謂詞公式間的邏輯蘊涵關系
2.5 謂詞演算的形式推理
習題二
數理邏輯的興起與展望
第二部分 集合論
第3章 集合
3.1 集合的基本概念
3.2 集合的基本運算
3.3 集合的宏運算
3.4 集合運算的其他表示法
習題三
第4章 關系
4.1 集合的又積
4.2 關系
4.3 關系的運算
4.4 二元關系的基本性質
4.5 等價關系
4.6 半序關系
習題四
第5章 函數
5.1 函數的基本概念
5.2 函數的性質
5.3 集合的基數
5.4 原始遞歸函數
5.5 可計算函數
習題五
集合論的歷史
第三部分 代數系統
第6章 代數系統
6.1 代數系統的基本概念
6.2 代數系統的同構與同態
6.3 半群
6.4 群
6.5 環
6.6 域
習題六
第7章 格與布爾代數
7.1 格
7.2 布爾代數
習題七
代數系統的歷史
第四部分 圖論
第8章 圖論
8.1 圖論一瞥
8.2 圖的基本概念
8.3 路與圈
8.4 圖的矩陣表示
8.5 帶權圖的最短路徑
8.6 Euler圖
8.7 Hamilton圖
8.8 二分圖
8.9 平面圖
8.10 樹
習題八
圖論的歷史
第五部分 關于證明
第9章 證明方法與證明過程
9.1 基本概念
9.2 證明方法和證明過程
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。