滿額折
商品簡介
目次
相關商品
商品簡介
《離散數學》共分6章，分別是緒論、命題邏輯、謂詞邏輯、集合論、代數系統和圖論。主要內容有離散量與離散數學、命題公式演算、命題邏輯的推理理論、歸結演繹推理、謂詞公式演算、謂詞公式的解釋、自然演繹推理、集合運算、集合計數、鴿籠原理、包含排除原理（容斥原理）、二元關係、偏序、函數與映射、集合的基數、代數運算、同態、同構、群、群在編碼理論中的應用、格、布爾代數、圖的基本概念、圖的矩陣表示、有向圖、歐拉圖、哈密頓圖、帶權圖和樹。《離散數學》設計為72學時，帶星號*的章節可視具體情況選講。
《離散數學》可作為高等院校計算機專業的教材，也可供信息及電子等專業師生參考。
《離散數學》可作為高等院校計算機專業的教材，也可供信息及電子等專業師生參考。
目次
前言
第1章 緒論
1.1 離散量與離散數學
1.2 離散數學的地位和作用
1.3 計算機為什麼要依賴數學
1.4 計算機求解問題舉例
第2章 命題邏輯
2.1 命題邏輯概述
2.2 命題及命題聯結詞
2.3 命題公式及其賦值
2.4 用命題公式描述實際問題
2.5 命題公式的等值演算
2.6 公式的范式
2.7 命題邏輯的推理理論
2.8 命題邏輯的歸結演繹推理
第3章 謂詞邏輯
3.1 謂詞邏輯概述
3.2 謂詞公式
3.3 用謂詞公式表示命題
3.4 謂詞公式的解釋
3.5 謂詞公式的等值演算
3.6 謂詞邏輯的歸結演繹推理
3.7 謂詞邏輯的自然演繹推理
第4章 集合論
4.1 集合的基本概念
4.2 集合運算
4.3 集合的包含關係與恆等關係
4.4 有窮集合的計數
4.5 二元關係
4.6 函數與映射
4.7 集合的基數
第5章 代數系統
5.1 代數運算
5.2 代數系統的基本概念
5.3 群
5.4 環與域
5.5 格
5.6 布爾代數
第6章 圖論
6.1 圖的基本概念
6.2 圖的連通性
6.3 圖的矩陣表示
6.4 有向圖
6.5 歐拉圖與哈密頓圖
6.6 帶權圖
6.7 樹
習題答案及提示
參考文獻
第1章 緒論
1.1 離散量與離散數學
1.2 離散數學的地位和作用
1.3 計算機為什麼要依賴數學
1.4 計算機求解問題舉例
第2章 命題邏輯
2.1 命題邏輯概述
2.2 命題及命題聯結詞
2.3 命題公式及其賦值
2.4 用命題公式描述實際問題
2.5 命題公式的等值演算
2.6 公式的范式
2.7 命題邏輯的推理理論
2.8 命題邏輯的歸結演繹推理
第3章 謂詞邏輯
3.1 謂詞邏輯概述
3.2 謂詞公式
3.3 用謂詞公式表示命題
3.4 謂詞公式的解釋
3.5 謂詞公式的等值演算
3.6 謂詞邏輯的歸結演繹推理
3.7 謂詞邏輯的自然演繹推理
第4章 集合論
4.1 集合的基本概念
4.2 集合運算
4.3 集合的包含關係與恆等關係
4.4 有窮集合的計數
4.5 二元關係
4.6 函數與映射
4.7 集合的基數
第5章 代數系統
5.1 代數運算
5.2 代數系統的基本概念
5.3 群
5.4 環與域
5.5 格
5.6 布爾代數
第6章 圖論
6.1 圖的基本概念
6.2 圖的連通性
6.3 圖的矩陣表示
6.4 有向圖
6.5 歐拉圖與哈密頓圖
6.6 帶權圖
6.7 樹
習題答案及提示
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。